juha
|
0c7fee62f3
|
IDE: Use configurable DropDownCount for IDE's ComboBoxes. Issue #36329, patch from Vojtech Cihak.
git-svn-id: trunk@62278 -
|
2019-11-22 00:14:36 +00:00 |
|
juha
|
6c409b1ecc
|
IDE: Hide the Export / Import buttons in options General page for now. The set of options makes no sense.
git-svn-id: trunk@50909 -
|
2015-12-18 17:45:50 +00:00 |
|
ondrej
|
19206bce93
|
IDE: partially revert r50517 #d696ee5a59
git-svn-id: trunk@50520 -
|
2015-11-28 19:42:00 +00:00 |
|
ondrej
|
d696ee5a59
|
IDE: add option to prefer double-click over middle click when closing tabs.
git-svn-id: trunk@50517 -
|
2015-11-28 10:10:11 +00:00 |
|
juha
|
b2ccf8e936
|
IDE: Rename the "Desktop" environment options page to "General" to avoid confusion with new Desktops feature.
git-svn-id: trunk@49549 -
|
2015-07-14 18:39:57 +00:00 |
|
juha
|
15df1a216f
|
IDE: An experimental GUI for saving and switching desktops + other related changes. Define EnableDesktops.
git-svn-id: trunk@49457 -
|
2015-06-28 12:27:48 +00:00 |
|
juha
|
c4d86d6845
|
IDE: Replace Bevels + Label with DividerBevel in desktop options. Reorder the layout.
git-svn-id: trunk@46735 -
|
2014-10-31 23:19:15 +00:00 |
|
juha
|
c4286f5665
|
IDE: Move the option for single-click / double-click from messages options to desktop options page. Improve layout, add hints. Issue #18269.
git-svn-id: trunk@46734 -
|
2014-10-31 23:19:06 +00:00 |
|
juha
|
171e7adf9a
|
IDE: add hints to desktop and window options.
git-svn-id: trunk@46720 -
|
2014-10-30 19:49:35 +00:00 |
|
mattias
|
fb7fd07c9b
|
IDE: messages options: moved option focus-after-build to messages options
git-svn-id: trunk@45201 -
|
2014-05-27 13:54:52 +00:00 |
|
mattias
|
226a364fff
|
IDE: messages options: moved dbl click jumps to messages options
git-svn-id: trunk@45200 -
|
2014-05-27 13:50:34 +00:00 |
|
mattias
|
00dbde1442
|
IDE: option to ask to save session
git-svn-id: trunk@34729 -
|
2012-01-14 13:43:25 +00:00 |
|
mattias
|
6fc9f8a290
|
IDE: improved options dialog
git-svn-id: trunk@24975 -
|
2010-04-26 17:13:33 +00:00 |
|
mattias
|
a0e368a930
|
updated po files
git-svn-id: trunk@23281 -
|
2009-12-25 13:40:47 +00:00 |
|
mattias
|
a449545d81
|
IDE: desktop options: improved layout, using shorter captions
git-svn-id: trunk@22651 -
|
2009-11-17 13:00:41 +00:00 |
|
paul
|
fe6e112d79
|
ide: add show menu glyphs to the desktop options frame
git-svn-id: trunk@20194 -
|
2009-05-25 09:10:56 +00:00 |
|
paul
|
8bd03d26b6
|
ide: decrease vertical spacing between checkboxes in some ide options frames
git-svn-id: trunk@19958 -
|
2009-05-14 02:31:35 +00:00 |
|
paul
|
3089bd0e3a
|
ide: desktop options
- replace groupboxes with bevels and labels
- add an ability to choose button glyphs visibility (with default = System)
git-svn-id: trunk@19949 -
|
2009-05-13 03:15:21 +00:00 |
|
paul
|
e3edff21e5
|
ide: fix anchoring for some options pages
git-svn-id: trunk@18502 -
|
2009-01-30 08:04:55 +00:00 |
|
paul
|
1113049583
|
ide: trial to fix layout of some frames under non-windows platform
git-svn-id: trunk@18296 -
|
2009-01-15 04:48:06 +00:00 |
|
mattias
|
5f48d63392
|
IDE: renamed options frames
git-svn-id: trunk@18086 -
|
2009-01-03 21:20:50 +00:00 |
|