diff --git a/modules/desktop/patches/logo-menu-custom-menu.patch b/modules/desktop/patches/logo-menu-custom-menu.patch index d9fb4c3..dca2ad1 100644 --- a/modules/desktop/patches/logo-menu-custom-menu.patch +++ b/modules/desktop/patches/logo-menu-custom-menu.patch @@ -104,15 +104,6 @@ diff -ru logo-menu-patch-orig/extension.js logo-menu-patch-mod/extension.js diff -ru logo-menu-patch-orig/schemas/org.gnome.shell.extensions.logo-menu.gschema.xml logo-menu-patch-mod/schemas/org.gnome.shell.extensions.logo-menu.gschema.xml --- logo-menu-patch-orig/schemas/org.gnome.shell.extensions.logo-menu.gschema.xml 2026-02-03 21:59:13.353462172 +0200 +++ logo-menu-patch-mod/schemas/org.gnome.shell.extensions.logo-menu.gschema.xml 2026-02-03 21:59:13.362611548 +0200 -@@ -4,7 +4,7 @@ - - - -- 0 -+ 18 - Menu Button Icon Image - Change the Menu Button Icon Image. - @@ -22,7 +22,7 @@