John Beard
|
9f38b70491
|
Add a filter box to hotkey dialog and filter using it
This uses a simple case-insensitive partial match, which is
a good start for the relatively limited number of hotkeys
generally present.
|
2018-09-28 08:28:04 -04:00 |
jean-pierre charras
|
3e5cd86288
|
Fix a few wxWidgets minor asserts. Fix a compil warning
|
2018-07-28 10:31:04 +02:00 |
Jeff Young
|
977f27f3c4
|
Adjust spacing on preference panels.
Giving them the correct parent changed the spacing.
(cherry picked from commit 7f602f3)
(cherry picked from commit 718db46)
|
2018-07-17 15:14:25 +01:00 |
|
Jeff Young
|
7841f8a466
|
Unified preferences dialog framework.
(cherry picked from commit 8ee3e77)
|
2018-07-17 15:11:17 +01:00 |