Fix a bug in area-management which wrongly triggered the "Save edited file?" dialog
The problem was that the document-controller didn't correctly close documents
which were in a currently not visible area during destruction.
zwabel | Feb 14 2012, 9:48 PM |