Name added to the History panel and Snapshots treeview (issue #3446)
+ gap added in the File Panel's fast export tab, filter tab and around History panel.
This commit is contained in:
parent
e6aff9cbf7
commit
3b3a14bb93
@ -139,6 +139,7 @@ grid separator.vertical, box separator.vertical {
|
||||
padding: 4px;
|
||||
}
|
||||
|
||||
|
||||
/* Frames in the toolbox. Not MyExpander frames. */
|
||||
eventbox.frame {
|
||||
border-color: #565656;
|
||||
@ -796,3 +797,11 @@ paned.vertical > separator {
|
||||
#RightNotebook #ToolPanelNotebook stack {
|
||||
margin: 4px;
|
||||
}
|
||||
|
||||
#RightNotebook #HistoryPanel {
|
||||
padding: 4px;
|
||||
}
|
||||
|
||||
#RightNotebook scrolledwindow {
|
||||
padding: 4px;
|
||||
}
|
||||
|
@ -42,6 +42,7 @@ History::History (bool bookmarkSupport) : blistener(nullptr), tpc (nullptr), bmn
|
||||
hscrollw->set_policy (Gtk::POLICY_NEVER, Gtk::POLICY_AUTOMATIC);
|
||||
|
||||
Gtk::Frame* histFrame = Gtk::manage (new Gtk::Frame (M("HISTORY_LABEL")));
|
||||
histFrame->set_name ("HistoryPanel");
|
||||
histFrame->add (*hscrollw);
|
||||
|
||||
hTreeView = Gtk::manage (new Gtk::TreeView ());
|
||||
@ -112,6 +113,7 @@ History::History (bool bookmarkSupport) : blistener(nullptr), tpc (nullptr), bmn
|
||||
bscrollw->set_size_request (-1, 45);
|
||||
|
||||
Gtk::Frame* bmFrame = Gtk::manage (new Gtk::Frame (M("HISTORY_SNAPSHOTS")));
|
||||
bmFrame->set_name("Snapshots");
|
||||
Gtk::VBox* bmBox = Gtk::manage (new Gtk::VBox ());
|
||||
bmFrame->add (*bmBox);
|
||||
bmBox->pack_start (*bscrollw, Gtk::PACK_EXPAND_WIDGET, 4);
|
||||
|
Loading…
x
Reference in New Issue
Block a user