Merge from branch 'dev/newlocallab'...

2018-10-08 20:56:29 +02:00
parent 854021cfee 23bcf63e2c
commit 88c5214a47
156 changed files with 1988 additions and 2057 deletions
--- a/rtgui/toolpanelcoord.h
+++ b/rtgui/toolpanelcoord.h
@@ -195,7 +195,6 @@ protected:
    void addPanel(Gtk::Box* where, FoldableToolPanel* panel, int level = 1);
    void foldThemAll(GdkEventButton* event);
    void updateVScrollbars(bool hide);
-    void updateTabsHeader(bool useIcons);
    void notebookPageChanged(Gtk::Widget* page, guint page_num);

 private:
@@ -304,7 +303,6 @@ public:
    }

    void updateTPVScrollbar(bool hide);
-    void updateTabsUsesIcons(bool useIcons);
    bool handleShortcutKey(GdkEventKey* event);

    // ToolBarListener interface