Allow resizing of navigator window. Patch by @Lawrence37. Fixes #6052
This commit is contained in:
@@ -125,7 +125,7 @@ History::History (bool bookmarkSupport) : historyVPaned (nullptr), blistener (nu
|
||||
|
||||
if (bookmarkSupport) {
|
||||
historyVPaned = Gtk::manage ( new Gtk::Paned (Gtk::ORIENTATION_VERTICAL) );
|
||||
historyVPaned->pack1 (*histFrame, true, true);
|
||||
historyVPaned->pack1 (*histFrame, true, false);
|
||||
historyVPaned->pack2 (*bmFrame, false, false);
|
||||
pack_start (*historyVPaned);
|
||||
} else {
|
||||
|
Reference in New Issue
Block a user