aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/weltschmerz.desktop
diff options
context:
space:
mode:
authorWolfgang Müller2021-06-18 12:26:06 +0200
committerWolfgang Müller2021-06-19 15:52:18 +0200
commit9a1d57694c9dd3d294d534f69268fccf5b0638d2 (patch)
tree191a74a2679a51b2cb66979fbdf0e60f43894491 /weltschmerz.desktop
parent0f4c7c9722467f88009bc2f6c8a55704e7c6da24 (diff)
downloadweltschmerz-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 '')
0 files changed, 0 insertions, 0 deletions