Commit Graph

11 Commits

Author SHA1 Message Date
mattias
cee5feafff IDE: undo options loading once, bites switching options via build modes
git-svn-id: trunk@33943 -
2011-12-04 11:20:41 +00:00
mattias
9534efa9f7 IDE: options: reduced some overhead on loading/saving
git-svn-id: trunk@33767 -
2011-11-24 23:52:39 +00:00
maxim
02b1933463 IDE: improve 'Options'->'Editor'->'Tabs and Windows' tab layout to save some horizontal space
git-svn-id: trunk@28489 -
2010-11-26 00:25:08 +00:00
martin
ef88560836 SrcEdit: Fixed Ctrl-Middle click (was no longer closing all others) / added option to enable/disbale the behaviour
git-svn-id: trunk@28439 -
2010-11-23 23:06:56 +00:00
andrew
ba4c288654 * editor now saves it editor window setting to use tab history
git-svn-id: trunk@27013 -
2010-08-05 02:00:04 +00:00
andrew
6df88c414f fixed typo
git-svn-id: trunk@26972 -
2010-08-02 01:59:18 +00:00
andrew
2a60f6af16 add caption for use tab history
git-svn-id: trunk@26971 -
2010-08-02 01:48:50 +00:00
andrew
31aa597704 added tab history for the source editor. closing the active tab now selects the last active tab
git-svn-id: trunk@26969 -
2010-08-02 01:35:07 +00:00
martin
77edbf2983 IDE options, pages-and-windows, Change layout
git-svn-id: trunk@24836 -
2010-04-22 22:49:27 +00:00
martin
7904286329 IDE, Options: updated names and captions / moved notebook tab related options to new page
git-svn-id: trunk@24830 -
2010-04-22 21:15:44 +00:00
martin
e66ef81168 SourceEditor, IDE: added configuration for Multi-Window
git-svn-id: trunk@24807 -
2010-04-21 23:55:49 +00:00