diff src/search.h @ 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 48c8e49b571c
children d6a7fb4b8e7c
line wrap: on
line diff