Commit Graph

4 Commits

Author SHA1 Message Date
martin
9a4173fa22 EditorOptions: Further simplified mouse-settings / moved hide-mouse to mouse section
git-svn-id: trunk@21301 -
2009-08-18 23:30:15 +00:00
martin
a768033f10 Editor-Options: improved layout
git-svn-id: trunk@21282 -
2009-08-18 15:02:21 +00:00
paul
914f1755c1 ide: remove unneeded separator toolbutton from the advanced mouse options toolbar
git-svn-id: trunk@21252 -
2009-08-16 15:56:55 +00:00
martin
74e8a2eefb EditorOptions: added simplified Mouse settings
git-svn-id: trunk@21232 -
2009-08-15 20:05:01 +00:00