Daniel Ruiz de Alegría a20697e1ce
Revert "GTK3: remove side marging of titlebuttons inside default-decoration headerbar"
This reverts commit 3fed386ccc44df1d2d6184c0fe94fa36bd1c435c.
2021-10-22 16:02:43 +02:00
..
2020-09-30 10:11:21 +02:00
2020-09-30 10:11:21 +02:00