Left and right panels of the directory browser and the editor tab now remember theire position when RT is restarted. When a new editor tab opens, it remember the last width value. Morever, if you change the width if the left or right panel in one editor tab, it does propagate in all the others.

Those values are stored in the options file. This is not related to the automatic grow of the window when an editor opens (not solved yet).
To avoid having too wide windows at the first start, the font of all styles are now "sans 10".

rtgui/filepanel.h

@@ -45,6 +45,7 @@ class FilePanel : public Gtk::HPaned,
         RecentBrowser* recentBrowser;
         FileCatalog* fileCatalog;   // filecatalog is the file browser with the button bar above it
         Gtk::HBox* rightBox;
+        Gtk::VPaned* tpcPaned;
         BatchToolPanelCoordinator* tpc;
         History* history;
 		FilterPanel* filterPanel;
@@ -58,6 +59,7 @@ class FilePanel : public Gtk::HPaned,
 
         void setParent (RTWindow* p) { parent = p; }
         void init (); // dont call it directly, the constructor calls it as idle source
+        void setAspect();
         void open (const Glib::ustring& d); // open a file or a directory
         void refreshEditedState (const std::set<Glib::ustring>& efiles) { fileCatalog->refreshEditedState (efiles); }