# HG changeset patch
# User zas_
# Date 1212047914 0
# Node ID 339db85846da18e1e8ea7c89d25a4be7c7077e89
# Parent  ae618ebec3e93ad96068fa3b75fc8a402031c4bf
Preserve properties window width and height during session even when
layout.save_window_positions is not set.
It restores the pre revision 858 behavior.

diff -r ae618ebec3e9 -r 339db85846da src/info.c
--- a/src/info.c	Thu May 29 07:52:05 2008 +0000
+++ b/src/info.c	Thu May 29 07:58:34 2008 +0000
@@ -833,9 +833,12 @@
 	GtkWidget *button;
 	GtkWidget *label;
 	GdkGeometry geometry;
+	static gboolean run_once = FALSE;
 
 	if (!fd && !list) return;
 
+	run_once = TRUE;
+
 	if (!list)
 		{
 		list = g_list_append(NULL, file_data_ref(fd));
@@ -866,7 +869,7 @@
 	gtk_window_set_geometry_hints(GTK_WINDOW(id->window), NULL, &geometry,
 				      GDK_HINT_MIN_SIZE | GDK_HINT_BASE_SIZE);
 
-	if (options->layout.save_window_positions)
+	if (options->layout.save_window_positions || run_once)
 		gtk_window_set_default_size(GTK_WINDOW(id->window), options->layout.properties_window.w, options->layout.properties_window.h);
 	else
 		gtk_window_set_default_size(GTK_WINDOW(id->window), DEF_PROPERTY_WIDTH, DEF_PROPERTY_HEIGHT);