Mon, 23 Sep 2024 23:22:27 +0200 | Olaf Wintermann | add headerbar toggle button (GTK) | changeset | files |
Mon, 23 Sep 2024 23:17:39 +0200 | Olaf Wintermann | simplify gtk button code | changeset | files |
Sun, 22 Sep 2024 21:17:15 +0200 | Olaf Wintermann | make headerbar buttons flat (GTK) | changeset | files |