comparison doc/5_2_finding_duplicates.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
comparison
equal deleted inserted replaced
763:81f9e8dbb4bf 764:ae618ebec3e9