Correct crash when closing editor Panel with hidden history

Remeber last option about hidden/shown panel
2010-07-14 22:11:07 +02:00
parent 24ae99fb02
commit f16761ac95
2 changed files with 7 additions and 5 deletions
--- a/rtgui/editorpanel.cc
+++ b/rtgui/editorpanel.cc
@@ -466,6 +466,7 @@ void EditorPanel::hideHistoryActivated () {
    removeIfThere (hpanedl, leftbox, false);
    if (hidehp->get_active()) 
        hpanedl->pack1 (*leftbox, false, true);
+    options.showHistory = hidehp->get_active();
 }

 bool EditorPanel::handleShortcutKey (GdkEventKey* event) {