[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#38538] [PATCH] gnu: Add gnome-shell-extension-hide-app-icon
From: |
Leo Prikler |
Subject: |
[bug#38538] [PATCH] gnu: Add gnome-shell-extension-hide-app-icon |
Date: |
Thu, 19 Dec 2019 13:44:47 +0100 |
User-agent: |
Evolution 3.32.4 |
Am Donnerstag, den 19.12.2019, 12:00 +0100 schrieb Leo Prikler:
> Am Donnerstag, den 19.12.2019, 11:20 +0200 schrieb Efraim Flashner:
> > What does this need glib and glib:bin for? Is it just for building
> > the
> > schemas or does it actually need it at runtime?
> To be honest, I'm not quite sure. I've copied this part from my
> dash-
> to-dock extension, wherein I copied it from the gnome-shell-
> extensions
> package.
>
> As far as I'm aware both packages do build schemas, but I'm not sure
> how extensions handle them at runtime. Perhaps this is already wrong
> in the package I originally copied the snippet from. I'll try to see
> how far I can get with depropagation.
>
> Regards,
> Leo
Upon closer inspection, it appears depropagation is indeed possible.
See the attached patch.
0002-gnu-Depropagate-glib-from-GNOME-Shell-extensions.patch
Description: Text Data
- [bug#38538] [PATCH] gnu: Add gnome-shell-extension-hide-app-icon, Leo Prikler, 2019/12/08
- [bug#38538] [PATCH] gnu: Add gnome-shell-extension-hide-app-icon, Efraim Flashner, 2019/12/19
- [bug#38538] [PATCH] gnu: Add gnome-shell-extension-hide-app-icon, Efraim Flashner, 2019/12/19
- [bug#38538] [PATCH] gnu: Add gnome-shell-extension-hide-app-icon, Leo Prikler, 2019/12/19
- [bug#38538] [PATCH] gnu: Add gnome-shell-extension-hide-app-icon,
Leo Prikler <=
- [bug#38538] [PATCH] gnu: Add gnome-shell-extension-hide-app-icon, Efraim Flashner, 2019/12/19
- [bug#38538] [PATCH] gnu: Add gnome-shell-extension-hide-app-icon, Leo Prikler, 2019/12/19
- bug#38538: [PATCH] gnu: Add gnome-shell-extension-hide-app-icon, Efraim Flashner, 2019/12/20
- [bug#38538] [PATCH] gnu: Add gnome-shell-extension-hide-app-icon, Leo Prikler, 2019/12/22
- [bug#38538] [PATCH] gnu: Add gnome-shell-extension-hide-app-icon, Efraim Flashner, 2019/12/23