Commit Graph

3 Commits

Author SHA1 Message Date
mattias
ee54a701ad IDE: editor options: divider lines: hint and layout
git-svn-id: trunk@23366 -
2010-01-04 11:48:14 +00:00
martin
05b23d62ab EditorOptions: change drop-down to fixed list, since only given values are allowed; fixes bug #14322
git-svn-id: trunk@21179 -
2009-08-11 23:33:37 +00:00
martin
717098fbae Editor-Options: Put fold/DividerDraw on separate pages
git-svn-id: trunk@19485 -
2009-04-18 13:45:49 +00:00