GTK3 fixes, handles issue #3446 and fixes #3495

2016-11-12 20:13:10 +01:00
parent b3167eadce
commit 666698dc02
8 changed files with 39 additions and 19 deletions
--- a/rtgui/history.cc
+++ b/rtgui/history.cc
@@ -88,9 +88,6 @@ History::History (bool bookmarkSupport) : blistener(nullptr), tpc (nullptr), bmn
    // Bookmark List
    // ~~~~~~~~~~~~~

-    Gtk::HSeparator* hsepb = Gtk::manage (new Gtk::HSeparator ());
-    pack_end (*hsepb, Gtk::PACK_SHRINK, 0);
-
    Gtk::HBox* ahbox = Gtk::manage (new Gtk::HBox ());
    addBookmark = Gtk::manage (new Gtk::Button ());  // M("HISTORY_NEWSNAPSHOT")
    setExpandAlignProperties(addBookmark, true, false, Gtk::ALIGN_FILL, Gtk::ALIGN_START);