hallgren 636d0649f8 translator: keep cloud docs and local docs apart ...

+ show a cloud icon next to the document name if it is stored in the cloud
+ in addition to the name of the current document, remember if it is stored in
  the cloud, so that the right document is loaded next time you open the
  translator.

2012-08-02 12:54:15 +00:00

..

cloud.png

translator: keep cloud docs and local docs apart

2012-08-02 12:54:15 +00:00

gf-cloud.png

GF home page: link to GF clouds service (cloud.grammaticalframework.org)

2012-06-11 15:34:16 +00:00