New batch of Theme bugfix, see issue #3446 (still WIP)

2016-10-20 22:38:37 +02:00
parent 712468197d
commit f6a9e13297
13 changed files with 116 additions and 263 deletions
--- a/rtgui/options.h
+++ b/rtgui/options.h
@@ -309,7 +309,6 @@ public:
    int         saveToFile      (Glib::ustring fname);
    static bool load            ();
    static void save            ();
-    static Glib::ustring formatFontName (Glib::ustring font);

    // if multiUser=false, send back the global profile path
    Glib::ustring getPreferredProfilePath();