Allan Odgaard 565242584f Ensure document stays open in refresh helper ...

The refresh helper uses the document’s undo manager in its destructor. Normally the document would stay open throughout the duration of the scope in which the refresh helper is used, but it might be possible to close the current document from a nested event loop, as spawned e.g. by showing a tool tip, in which case, the document will be closed when we reach the destructor.

2012-09-18 17:33:01 +02:00

..

resources

Remove Chinese translation

2012-09-16 11:41:23 +02:00

src

Ensure document stays open in refresh helper

2012-09-18 17:33:01 +02:00

target

Add bundle menu to the status bar

2012-08-13 00:25:20 +02:00