randogoth/nanuqsaurus
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

default logo menu logo

Browse source
This commit is contained in:
randogoth 2026-02-05 07:41:05 +02:00
parent 6f95d9b689
commit 3018fb4e3b
1 changed files with 0 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

9
modules/desktop/patches/logo-menu-custom-menu.patch
View file

@ -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 @@
<schema path="/org/gnome/shell/extensions/Logo-menu/" id="org.gnome.shell.extensions.logo-menu">
<key type="i" name="menu-button-icon-image">
- <default>0</default>
+ <default>18</default>
<summary>Menu Button Icon Image</summary>
<description>Change the Menu Button Icon Image.</description>
</key>
@@ -22,7 +22,7 @@
</key>