Always use icons for tab headers, #4772

2018-09-18 11:37:15 +02:00
parent 93f404fd79
commit 78989731f5
14 changed files with 12 additions and 146 deletions
--- a/rtgui/filepanel.h
+++ b/rtgui/filepanel.h
@@ -80,7 +80,6 @@ public:

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

 private:
    void on_NB_switch_page(Gtk::Widget* page, guint page_num);