Allan Odgaard 7e63510cfd Document changed on disk would sometimes be marked as modified ...

We wrap the “update document” in an undo group, but if we already have an undo group at a higher level then our “end group” would be postponed to the root group, which would delay updating the document revision, and thus the revision we use as the disk revision would be wrong.

We workaround this by forcing the undo group to end and thus ignore the one at the higher level, which should be safe.

2014-09-02 18:59:29 +02:00

..

src

Document changed on disk would sometimes be marked as modified

2014-09-02 18:59:29 +02:00

tests

Harmonize whitespace and add trailing newline

2014-04-14 14:26:52 +07:00

target

Use custom test system for testing the ‘document’ framework

2014-04-08 15:43:21 +07:00