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 |
|
Peter Hutterer
|
f04a0e94a5
|
ui: limit the length of macros displayed in the option box
Otherwise it stretches the whole GUI
|
2017-08-23 09:50:38 +02:00 |
|
Jente Hidskes
|
cd6c528608
|
UI files: unmark placeholder strings as translatable
|
2017-08-21 11:06:38 +02:00 |
|
Jente Hidskes
|
b78aade8aa
|
data/ui: add tooltips to control widgets
Every control widget should have a tooltip to explain its purpose.
Fixes #40
|
2017-07-27 09:36:42 +02:00 |
|
Jente Hidskes
|
4aa36cfab7
|
OptionButton: a Gtk.Button with a cog
|
2017-07-27 09:36:41 +02:00 |
|