Allan Odgaard 9f095a52bc Close files deleted via file browser ...

Files with changes are kept open and only files deleted via file browser actually close. It’ll make sense to also close files which are “moved to trash” (but want to do some refactoring before adding that).

Closes #512.

2013-02-15 15:27:55 +01:00

..

resources

Remove unused graphics

2013-01-25 11:01:57 +01:00

src

Close files deleted via file browser

2013-02-15 15:27:55 +01:00

target

Make DocumentOpenHelper API block-based

2013-01-08 22:48:06 +01:00