* src/ManagedWindow.py (ManagedWindow.show): Set opened flag; (ManagedWindow.close): Unser opened flag. * src/ViewManager.py (undo_history_close): Only close undo history window if it is open. * src/UndoHistory.py: (UndoHistory.__init__): Remove signal handling; (UndoHistory.close): Remove method, use one from the parent class. svn: r7089
411 KiB
411 KiB