Yaroslav Chvanov
e83a987f05
ui: use margin-start/end instead of margin-left/right
...
Fixes a deprecation warning.
2023-03-03 16:35:42 +03:00
Yaroslav Chvanov
58639e6008
ui: regenerate all UI files using current Glade version
...
This does not include all changes as for some reason Glade removes some
widgets and actions.
2023-03-03 16:35:36 +03:00
Yaroslav Chvanov
e08c018bc5
ui: require Gtk 3.22 in all UI files
...
Some of them produced warnings about certain properties being available
only in Gtk 3.22 or higher.
2023-03-03 16:02:15 +03:00
Jente Hidskes
cd6c528608
UI files: unmark placeholder strings as translatable
2017-08-21 11:06:38 +02:00
Jente Hidskes
e874c81c69
Merge key mappings with macros
2017-08-01 10:22:34 +01:00
Jente Hidskes
510e3b6b31
ButtonDialog: merge all stack pages into a list
...
For the user anyway, all different mappings will look the same. It makes
no sense to make this more complicated for them by separating them into
different concepts.
2017-08-01 10:22:34 +01:00
