Panel hiding enhancements on behalf of Michael Ezra; See issue #458

2011-01-09 00:09:38 +01:00
parent bc8819a76b
commit 97a2d3b979
23 changed files with 186 additions and 22 deletions
--- a/rtgui/editorpanel.h
+++ b/rtgui/editorpanel.h
@@ -60,6 +60,7 @@ class EditorPanel : public Gtk::VBox,
        Gtk::HBox* statusBox;
        Gtk::Image* red;
        Gtk::Image* green;
+        Gtk::Image *iHistoryShow, *iHistoryHide;
        Gtk::VBox* leftbox, *vboxright;

        Gtk::Button* queueimg;