comparison src/search.c @ 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 477f48ba28d8
children d6a7fb4b8e7c
comparison
equal deleted inserted replaced
763:81f9e8dbb4bf 764:ae618ebec3e9