comparison doc/10_options.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 e29c291e106b
children 1b01410e6860
comparison
equal deleted inserted replaced
763:81f9e8dbb4bf 764:ae618ebec3e9