ondrej
|
eae5407804
|
ide editorfilemanager dialog: high-DPI. issue #31775
git-svn-id: trunk@54925 -
|
2017-05-14 12:21:34 +00:00 |
|
juha
|
1539bf8ab0
|
IDE: Modeless dialogs clean-up. Issue #28354, patch from Ondrej Pokorny.
git-svn-id: trunk@49460 -
|
2015-06-28 12:27:53 +00:00 |
|
juha
|
8c8cab2420
|
IDE: Fix taborder, hide 2 borders in EditorFilemanager dlg. Issue #28026, patch from Alexey Torgashin.
git-svn-id: trunk@48939 -
|
2015-05-05 20:42:58 +00:00 |
|
juha
|
2a4cc692f8
|
IDE: close source editor window manager with Esc key. Issue #25684.
git-svn-id: trunk@43944 -
|
2014-02-07 23:15:40 +00:00 |
|
juha
|
6baa075aab
|
IDE: New options page for re-ordering component palette entries. Requires define "EnableComponentPaletteOptions".
git-svn-id: trunk@42574 -
|
2013-09-03 12:04:16 +00:00 |
|
juha
|
709b6f1834
|
IDE: Make Help button work in Editor Window Manager, issue #21961.
git-svn-id: trunk@37312 -
|
2012-05-17 21:25:42 +00:00 |
|
juha
|
ca3cbe03f4
|
IDE: make Close button work in Window Manager
git-svn-id: trunk@37285 -
|
2012-05-15 07:42:35 +00:00 |
|
juha
|
50f53f00a1
|
IDE: improve EditorFileManager
git-svn-id: trunk@35857 -
|
2012-03-10 08:23:40 +00:00 |
|
juha
|
440feab405
|
IDE: set FilterEdit as the active control in EditorFileManager
git-svn-id: trunk@35812 -
|
2012-03-07 21:45:20 +00:00 |
|
maxim
|
55e336c787
|
IDE, Editor file manager dialog: avoid buttons and checkbox jumping when their captions are changed
git-svn-id: trunk@35485 -
|
2012-02-19 15:32:14 +00:00 |
|
juha
|
9ec7f6d914
|
IDE: Improve GUI layout in EditorFileManager and add sorting feature
git-svn-id: trunk@35443 -
|
2012-02-18 14:04:32 +00:00 |
|
juha
|
228beff757
|
IDE: Add Move Buttons to EditorFileManager + other fixes.
git-svn-id: trunk@35435 -
|
2012-02-18 09:24:43 +00:00 |
|
juha
|
088114e24b
|
IDE: Fix bugs in EditorFileManager, make the popupmenu functional.
git-svn-id: trunk@35419 -
|
2012-02-17 14:51:32 +00:00 |
|
juha
|
baaab46a82
|
New files for a new EditorFilemanager feature
git-svn-id: trunk@35415 -
|
2012-02-17 12:38:58 +00:00 |
|