- Added Chromium and Terminal to favorites

- Fix menu border
- Bump menus size
i10ce changed/i10ce/gnome-shell-extension-arcmenu-63-3.el10
Arkady L. Shane 21 hours ago
parent 7c5e194415
commit afe264ff3a
Signed by: tigro
GPG Key ID: 1EC08A25C9DB2503

@ -1,14 +1,14 @@
From 4e784f20c090cd6e27aa7e70ead95fde238b657c Mon Sep 17 00:00:00 2001
From 71f467d9ed6f28c9a826c8594ac5d392035a915f Mon Sep 17 00:00:00 2001
From: tigro <tigro@msvsphere-os.ru>
Date: Mon, 23 Dec 2024 14:06:21 +0300
Subject: [PATCH] Customize Arc Menu
---
.../org.gnome.shell.extensions.arcmenu.gschema.xml | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
...gnome.shell.extensions.arcmenu.gschema.xml | 20 +++++++++----------
1 file changed, 10 insertions(+), 10 deletions(-)
diff --git a/schemas/org.gnome.shell.extensions.arcmenu.gschema.xml b/schemas/org.gnome.shell.extensions.arcmenu.gschema.xml
index 4311e18..e826b80 100644
index 4311e18..da6c376 100644
--- a/schemas/org.gnome.shell.extensions.arcmenu.gschema.xml
+++ b/schemas/org.gnome.shell.extensions.arcmenu.gschema.xml
@@ -134,7 +134,7 @@
@ -20,6 +20,24 @@ index 4311e18..e826b80 100644
<summary>menu layout</summary>
</key>
<key type="b" name="override-menu-theme">
@@ -198,7 +198,7 @@
<summary>ArcMenu menu button bg color.</summary>
</key>
<key type="(bi)" name="menu-button-border-radius">
- <default>(false, 20)</default>
+ <default>(true, 10)</default>
<summary>ArcMenu menu button border radius.</summary>
</key>
<key type="(bi)" name="menu-button-border-width">
@@ -444,7 +444,7 @@
<summary>Menu Width Adjustement.</summary>
</key>
<key type="i" name="left-panel-width">
- <default>290</default>
+ <default>390</default>
<summary>Menu width</summary>
</key>
<key type="i" name="right-panel-width">
@@ -468,7 +468,7 @@
<summary>Display type for power options</summary>
</key>
@ -61,6 +79,18 @@ index 4311e18..e826b80 100644
<summary>Size of the menu buton icon.</summary>
</key>
<key type="i" name="button-padding">
@@ -603,9 +603,9 @@
<key name="pinned-apps" type="aa{ss}">
<default>
[
- {'id': 'firefox.desktop'},
+ {'id': 'chromium-browser.desktop'},
{'id': 'org.gnome.Nautilus.desktop'},
- {'id': 'org.gnome.Terminal.desktop'},
+ {'id': 'org.gnome.Ptyxis.desktop'},
{'id': 'gnome-extensions prefs arcmenu@arcmenu.com', 'name': 'ArcMenu Settings', 'icon': 'ArcMenu_ArcMenuIcon'}
]
</default>
--
2.47.1

@ -5,7 +5,7 @@
Summary: Gnome shell extension designed to replace the standard menu
Name: gnome-shell-extension-arcmenu
Version: 63
Release: 2%{dist}.inferit
Release: 3%{dist}
License: GPLv2
URL: https://gitlab.com/arcmenu/ArcMenu/
@ -60,6 +60,11 @@ mkdir -p %{buildroot}%{_datadir}/pixmaps/
%{_datadir}/gnome-shell/extensions/%{uuid}
%changelog
* Tue Dec 24 2024 Arkady L. Shane <tigro@msvsphere-os.ru> - 63-3
- Added Chromium and Terminal to favorites
- Fix menu border
- Bump menus size
* Tue Dec 24 2024 Arkady L. Shane <tigro@msvsphere-os.ru> - 63-2
- Set 48 px size for Menu icon
- Disable open menu shortcut

Loading…
Cancel
Save