More bugfix to the Gtk3 RawTherapee theme, see issue #3446

2016-10-22 02:13:50 +02:00
parent c2888d634f
commit b2af94ac74
5 changed files with 62 additions and 16 deletions
--- a/rtgui/options.h
+++ b/rtgui/options.h
@@ -119,8 +119,6 @@ public:
    bool browserDirPanelOpened;
    bool editorFilmStripOpened;
    int historyPanelWidth;
-    Glib::ustring font;
-    Glib::ustring colorPickerFont;
    int windowWidth;
    int windowHeight;
    int windowX;