2 commits

Author	SHA1	Message	Date
mfranz	4ed4939b8e	describe <Shift-TAB> and <Shift-Backspace> keys as well :-)	2007-11-18 13:30:30 +00:00
mfranz	0bca5bdea6	- add Debug->Development Extensions dialog with two checkboxes to ... - allow turning on/off extra widgets for developers (HUD dialog: colors, rendering dialog: visualization of shadow edges), and to turn on/off new - property key handler ('/'-key) Both features are off by default, and their state is saved to autosave.xml.	2007-11-18 12:20:17 +00:00