[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#68556] [PATCH gnome-team v3 0/7] [PATCH gnome-team v3 0/7] Update e
From: |
Vivien Kraus |
Subject: |
[bug#68556] [PATCH gnome-team v3 0/7] [PATCH gnome-team v3 0/7] Update extensions (2/5 replaced, 2/5 no solution, 1/5 redundant) |
Date: |
Sat, 20 Jan 2024 01:11:06 +0100 |
User-agent: |
Evolution 3.48.4 |
Dear Guix,
In this V3, the Applications Menu built-in extension is fixed by installing
typelibs for gnome-menus. Since the extension requires it, I figured it should
be a propagated-input. However, it is already propagated by
gnome-desktop. Should we propagate it in both gnome-desktop and
gnome-shell-extensions?
The noannoyance extension now has an updated origin, preserving the same
package.
The paperwm extension requires to be updated for GNOME 44, see
https://issues.guix.gnu.org/68574 for a candidate patch.
I still have no solution for Jiggle and Transparent Window. For the former, I
was reminded that there is a standard option to make your pointer more visible
if you press the control key, but I am not sure this is desirable as a Jiggle
replacement.
Now sound-output-device-chooser has a greatly decreased utility, since you can
choose the output device directly from the shell.
Best regards,
Vivien
Vivien Kraus (7):
gnu: gnome-menus: Build GObject Introspection data.
gnu: gnome-shell-extensions: Propagate gnome-menus.
gnu: gnome-shell-extension-noannoyance: Switch to fork.
gnu: gnome-shell-extension-topicons-redux: Deprecate.
gnu: Remove gnome-shell-extension-jiggle.
gnu: Remove gnome-shell-extension-transparent-window.
gnu: Remove gnome-shell-extension-sound-output-device-chooser.
gnu/packages/gnome-xyz.scm | 161 +++----------------------------------
gnu/packages/gnome.scm | 16 +++-
2 files changed, 24 insertions(+), 153 deletions(-)
base-commit: 49897f2dde7f469c83c496fad2699d3a05f72701
--
2.41.0
- [bug#68556] [PATCH gnome-team v2 16/23] gnu: Add gnome-shell-extension-noannoyance-fork., (continued)
[bug#68556] [PATCH gnome-team v2 20/23] gnu: Remove gnome-shell-extension-topicons-redux., Vivien Kraus, 2024/01/19
[bug#68556] [PATCH gnome-team v2 06/23] gnu: gnome-shell-extension-appindicator: Update to 53., Vivien Kraus, 2024/01/19
[bug#68556] [PATCH gnome-team v2 15/23] gnu: gnome-shell-extension-night-theme-switcher: Update to 74., Vivien Kraus, 2024/01/19
[bug#68556] [PATCH gnome-team v2 08/23] gnu: gnome-shell-extensions-customize-ibus: Update to 86., Vivien Kraus, 2024/01/19
[bug#68556] [PATCH gnome-team v2 19/23] gnu: Remove gnome-shell-extension-sound-output-device-chooser., Vivien Kraus, 2024/01/19
[bug#68556] [PATCH gnome-team v2 09/23] gnu: gnome-shell-extension-topicons-redux: Update style., Vivien Kraus, 2024/01/19
[bug#68556] [PATCH gnome-team v2 00/23] Update extensions with 3 replacements, Liliana Marie Prikler, 2024/01/19
[bug#68556] [PATCH gnome-team v3 0/7] [PATCH gnome-team v3 0/7] Update extensions (2/5 replaced, 2/5 no solution, 1/5 redundant),
Vivien Kraus <=
[bug#68556] [PATCH gnome-team v3 4/7] gnu: gnome-shell-extension-topicons-redux: Deprecate., Vivien Kraus, 2024/01/19
[bug#68556] [PATCH gnome-team v3 3/7] gnu: gnome-shell-extension-noannoyance: Switch to fork., Vivien Kraus, 2024/01/19
[bug#68556] [PATCH gnome-team v3 1/7] gnu: gnome-menus: Build GObject Introspection data., Vivien Kraus, 2024/01/19
[bug#68556] [PATCH gnome-team v3 7/7] gnu: Remove gnome-shell-extension-sound-output-device-chooser., Vivien Kraus, 2024/01/19