juha
|
607ce76498
|
IDE: Add to Toolbar/coolbar options window a message about saving current desktop manually. Issue #34659, patch from FTurtle.
git-svn-id: trunk@59788 -
|
2018-12-11 00:03:23 +00:00 |
|
juha
|
59d096e29f
|
IDE: New restore_default and restore_defaults icons. Use more icons in Options GUI. Issue #33997, icon patch from FTurtle.
git-svn-id: trunk@58807 -
|
2018-08-31 10:09:04 +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 |
|
maxim
|
4fe4e35ac1
|
IDE: improved Editor Toolbar options page layout/i18n
git-svn-id: trunk@49951 -
|
2015-10-05 23:00:40 +00:00 |
|
juha
|
ee4ff0e746
|
IDE: Update EditorToolbars always after changing environment options.
git-svn-id: trunk@49546 -
|
2015-07-14 11:10:06 +00:00 |
|
juha
|
e352c0638b
|
IDE: Minor layout changes in EditorToolbar options frame.
git-svn-id: trunk@49484 -
|
2015-07-02 18:50:21 +00:00 |
|
mattias
|
d08b2dd896
|
IDE: less hints
git-svn-id: trunk@49469 -
|
2015-06-29 09:33:26 +00:00 |
|
juha
|
5286b35a45
|
IDE: New class and variable/property for desktop settings in environment options.
git-svn-id: trunk@49432 -
|
2015-06-24 16:12:31 +00:00 |
|
maxim
|
0d184d1540
|
IDE: fixed initial 'Position' combobox caption i18n in Editor Toolbar options
git-svn-id: trunk@49395 -
|
2015-06-21 18:07:52 +00:00 |
|
juha
|
22d69cef54
|
New files for integrated EditorToolbar.
git-svn-id: trunk@49380 -
|
2015-06-21 10:14:55 +00:00 |
|