added simple fullscreen mode, toggled by F11

rtgui/rtwindow.cc

@@ -144,6 +144,16 @@ void RTWindow::remEditorPanel (EditorPanel* ep) {
 }
 
 bool RTWindow::keyPressed (GdkEventKey* event) {
+    if(event->keyval == GDK_F11) {
+        if(is_fullscreen){
+            unfullscreen();
+            is_fullscreen = false;
+        }
+        else {
+            fullscreen();
+            is_fullscreen = true;
+        }
+    }
 
     if (mainNB->get_nth_page (mainNB->get_current_page()) == fpanel) {
     }

rtgui/rtwindow.h

@@ -34,6 +34,8 @@ class RTWindow : public Gtk::Window {
         std::set<Glib::ustring> filesEdited;
         std::map<Glib::ustring, EditorPanel*> epanels;
         
+        bool is_fullscreen;
+        
     public:
         RTWindow ();