diff Gui/interface.h @ 10385:efa8e2fb2262

Set default indentation depth to 5. Add trailing spaces to options that are too short to get indented.
author diego
date Sun, 06 Jul 2003 12:43:28 +0000
parents 64b8c5a07c2c
children 024b4c37a054
line wrap: on
line diff