Adding HiDPI support (WIP)

rtgui/editwindow.h

@@ -26,7 +26,9 @@ class EditWindow : public Gtk::Window
 {
 
 private:
+    double resolution;
     RTWindow* parent;
+    RTImage appIcon;
 
     Gtk::Notebook* mainNB;
     std::set<Glib::ustring> filesEdited;
@@ -36,6 +38,11 @@ private:
     bool isClosed;
     void toggleFullscreen ();
     void restoreWindow();
+    bool updateResolution();
+    void setAppIcon();
+    bool on_configure_event(GdkEventConfigure* event);
+    bool on_delete_event(GdkEventAny* event);
+    void on_realize ();
 
 public:
     // Check if the system has more than one display and option is set
@@ -55,12 +62,9 @@ public:
 
     void toFront();
     bool keyPressed (GdkEventKey* event);
-    bool on_configure_event(GdkEventConfigure* event);
-    bool on_delete_event(GdkEventAny* event);
     //bool on_window_state_event(GdkEventWindowState* event);
     void on_mainNB_switch_page(Gtk::Widget* page, guint page_num);
     void set_title_decorated(Glib::ustring fname);
-    void on_realize ();
 };
 
 #endif