Commit Graph

104 Commits

Author SHA1 Message Date
paul
7a1d79446f ide: start merge of editor options into ide options dialog
git-svn-id: trunk@17164 -
2008-10-31 09:42:29 +00:00
paul
efbdbb855d ide: improve ideoptionsdlg
git-svn-id: trunk@17089 -
2008-10-22 02:10:28 +00:00
paul
971276cb1d ide: complete IDE Options api, adjust frames and editor to work with it
git-svn-id: trunk@17085 -
2008-10-21 09:30:01 +00:00
paul
472544c43b ide: convert environment options editor to IDE options editor
ideintf: add ideoptionsintf - base classes and functions to register IDE options editors, editor groups

git-svn-id: trunk@17070 -
2008-10-20 08:22:09 +00:00