diff doc/10_1_general.html @ 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.
author zas_
date Thu, 29 May 2008 07:52:05 +0000
parents e0d0593d519e
children 1b01410e6860
line wrap: on
line diff