comparison doc/options_properties.html @ 1405:03384485676d

Introduce EditorFlags type, cleanup.
author zas_
date Sun, 08 Mar 2009 23:12:49 +0000
parents c564ab6c11fc
children
comparison
equal deleted inserted replaced
1404:de06d83e1adc 1405:03384485676d