diff options
| author | Wolfgang Müller | 2021-06-18 12:26:06 +0200 |
|---|---|---|
| committer | Wolfgang Müller | 2021-06-19 15:52:18 +0200 |
| commit | 9a1d57694c9dd3d294d534f69268fccf5b0638d2 (patch) | |
| tree | 191a74a2679a51b2cb66979fbdf0e60f43894491 /resources.xml | |
| parent | 0f4c7c9722467f88009bc2f6c8a55704e7c6da24 (diff) | |
| download | weltschmerz-9a1d57694c9dd3d294d534f69268fccf5b0638d2.tar.gz | |
terminal.ui: Stop using 'margin-left' and 'margin-right' properties
These were deprecated in GTK 3.12 [1]. Instead use 'margin-start' and
'margin-end' for the same effect.
[1] https://developer.gnome.org/gtk3/stable/GtkWidget.html#GtkWidget--margin-left
Diffstat (limited to 'resources.xml')
0 files changed, 0 insertions, 0 deletions