Martin
|
8344427500
|
IDE, Options: Font for editor notebook tabs
|
2022-03-11 16:59:29 +01:00 |
|
martin
|
781767973e
|
IDE, SourceEditor: Implement "Close tabs on right". Issue #0029929
git-svn-id: trunk@60016 -
|
2019-01-06 18:41:19 +00:00 |
|
juha
|
8bed6f8ca0
|
IdeIntf: Split IDEOptionsIntf into a new IDEOptEditorIntf.
git-svn-id: trunk@58208 -
|
2018-06-09 14:40:08 +00:00 |
|
joost
|
1de2cbf586
|
general: Updated address of the Free Software Foundation in copyright messages
git-svn-id: trunk@54031 -
|
2017-01-29 21:04:32 +00:00 |
|
ondrej
|
d53815d5d5
|
ide: source notebook: add option to show editor file name in caption
git-svn-id: trunk@52071 -
|
2016-03-27 17:32:12 +00:00 |
|
juha
|
db51e758b5
|
Cleanup and comments
git-svn-id: trunk@51470 -
|
2016-02-01 21:04:59 +00:00 |
|
mattias
|
75fd8a4e5d
|
IDE: checked compiler warnings, clean up
git-svn-id: trunk@48211 -
|
2015-03-10 13:27:41 +00:00 |
|
martin
|
a46cfc71b6
|
Options / Editor: Allow multiline tab, check capability
git-svn-id: trunk@48127 -
|
2015-03-04 14:35:03 +00:00 |
|
martin
|
e636205034
|
Options / Editor: Allow multiline tab, move tab related options to correct frame
git-svn-id: trunk@48126 -
|
2015-03-04 13:50:08 +00:00 |
|
martin
|
be0b77b0b1
|
IDE, EditorOptions: disable options, if not available on platform (notebook closebutton on win)
git-svn-id: trunk@40061 -
|
2013-01-30 15:15:35 +00:00 |
|
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 |
|