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
|
f7278d9ec6
|
IDE, options, small layout fix
git-svn-id: trunk@24808 -
|
2010-04-22 00:40:40 +00:00 |
|
martin
|
e66ef81168
|
SourceEditor, IDE: added configuration for Multi-Window
git-svn-id: trunk@24807 -
|
2010-04-21 23:55:49 +00:00 |
|