diff src/options.h @ 764:ae618ebec3e9

Save properties window width and height to rc file and restore them on next session if layout.save_window_positions is set to TRUE.

--- a/src/options.h	Wed May 28 22:12:10 2008 +0000
+++ b/src/options.h	Thu May 29 07:52:05 2008 +0000
@@ -182,6 +182,11 @@
 			gint vdivider_pos;
 		} float_window;
 
+		struct {
+			gint w;
+			gint h;
+		} properties_window;
+
 		gint save_window_positions;
 
 		gint tools_float;