Allan Odgaard 001888c1cb Close Other no longer closes untitled but modified tabs ...

We would previously bring up an “Do you want to keep unsaved changes?” sheet for these, so no convenience (i.e. batch closing several modified tabs) is really lost (on the contrary).

2013-02-08 11:20:34 +01:00

..

resources

Remove unused graphics

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

src

Close Other no longer closes untitled but modified tabs

2013-02-08 11:20:34 +01:00

target

Make DocumentOpenHelper API block-based

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