diff doc/10_3_window.html @ 807:d14374e1d717

fixed saving options on exit
author nadvornik
date Mon, 09 Jun 2008 07:06:53 +0000
parents e0d0593d519e
children 1b01410e6860
line wrap: on
line diff