diff src/ui_misc.c @ 765:339db85846da

Preserve properties window width and height during session even when layout.save_window_positions is not set. It restores the pre revision 858 behavior.
author zas_
date Thu, 29 May 2008 07:58:34 +0000
parents 985fdfebd89e
children c414002a1f27
line wrap: on
line diff