Merge branch 'dev' into newlocallab

This commit is contained in:
Morgan Hardwood
2018-07-19 23:07:59 +02:00
2038 changed files with 40844 additions and 190177 deletions

View File

@@ -94,7 +94,7 @@ History::History (bool bookmarkSupport) : historyVPaned (nullptr), blistener (nu
//addBookmark->get_style_context()->set_junction_sides(Gtk::JUNCTION_RIGHT);
addBookmark->get_style_context()->add_class ("Left");
addBookmark->set_tooltip_markup (M ("HISTORY_NEWSNAPSHOT_TOOLTIP"));
Gtk::Image* addimg = Gtk::manage (new RTImage ("gtk-add.png"));
Gtk::Image* addimg = Gtk::manage (new RTImage ("add-small.png"));
addBookmark->set_image (*addimg);
ahbox->pack_start (*addBookmark);
@@ -102,7 +102,7 @@ History::History (bool bookmarkSupport) : historyVPaned (nullptr), blistener (nu
setExpandAlignProperties (delBookmark, true, false, Gtk::ALIGN_FILL, Gtk::ALIGN_START);
//delBookmark->get_style_context()->set_junction_sides(Gtk::JUNCTION_LEFT);
delBookmark->get_style_context()->add_class ("Right");
Gtk::Image* delimg = Gtk::manage (new RTImage ("list-remove.png"));
Gtk::Image* delimg = Gtk::manage (new RTImage ("remove-small.png"));
delBookmark->set_image (*delimg);
ahbox->pack_start (*delBookmark);