rtgui/options.h

@@ -65,6 +65,8 @@ class Options {
     int toolPanelWidth;
     int browserToolPanelWidth;
     int historyPanelWidth;
+    int windowWidth;
+    int windowHeight;
     int dirBrowserWidth;
     int dirBrowserHeight;
     int lastScale;
@@ -127,6 +129,8 @@ class Options {
     int         saveToFile      (Glib::ustring fname);
     static void load            ();
     static void save            ();
+
+    bool        is_extention_enabled(Glib::ustring ext);
 };
 
 extern Options options;