From 64ba90c802fe24c167507723fa1bbf1227c4a2b8 Mon Sep 17 00:00:00 2001 From: Vivianne Langdon Date: Tue, 22 Mar 2022 23:49:59 -0700 Subject: [PATCH] ditch the gnome titlebar (for now) as it doesn't work properly for me ;( --- src/desktop_window.ui | 1 - src/desktop_window.vala | 8 +- src/window.ui | 1238 ++++++++++++++++++++------------------- src/window.vala | 12 +- 4 files changed, 647 insertions(+), 612 deletions(-) diff --git a/src/desktop_window.ui b/src/desktop_window.ui index b9a5933..057fa8a 100644 --- a/src/desktop_window.ui +++ b/src/desktop_window.ui @@ -3,7 +3,6 @@