rpms/gnome-shell-extensions
5
0
Fork 0
Code Issues Pull Requests Releases Activity
Modify and extend GNOME Shell functionality and behavior
59 Commits 9 Branches 63 Tags 2 MiB
Diff 100%
932b5557ba
Go to file
Florian Müllner 932b5557ba
Fix downstream stylesheets 
The last change included an upstream patch to only include
stylesheets for extensions with custom styling.

That means that stylesheets are no longer picked up automatically,
and as a result downstream additions with custom styling lost
their stylesheet, as they are not covered by the upstream patch.

Adjust the patch to cover our downstream additions to bring them
back.

Resolves: RHEL-25016
2024-04-19 00:27:15 +02:00
.gitignore Update to 40.7 2022-04-13 17:43:17 +02:00
0001-Add-gesture-inhibitor-extension.patch Add dash-to-panel extension 2023-11-07 21:19:43 +01:00
0001-apps-menu-add-logo-icon-to-Applications-menu.patch Add extension for displaying heads up message 2021-09-28 11:24:45 -04:00
0001-apps-menu-Explicitly-set-label_actor.patch Add extension for displaying heads up message 2021-09-28 11:24:45 -04:00
0001-classification-banner-Handle-fullscreen-monitors.patch Adjust classification banners in fullscreen 2022-12-14 20:02:50 +01:00
0001-classification-banner-Hide-from-picks.patch Hide classification banners from picks 2024-02-02 15:44:44 +01:00
0001-desktop-icons-Don-t-grab-focus-on-click.patch Don't grab key focus when clicking desktop grid 2022-12-15 17:32:55 +01:00
0001-desktop-icons-Don-t-try-spawn-with-non-existent-work.patch Fix spawning terminal without desktop directory 2023-11-02 21:48:40 +01:00
0001-desktop-icons-Don-t-use-blocking-IO.patch Avoid blocking IO in desktop-icons 2023-01-18 19:46:48 +01:00
0001-desktop-icons-Fix-stuck-grab-issue-with-rubber-bandi.patch Fix stuck grab on desktop-icons 2021-11-08 13:49:33 +01:00
0001-desktop-icons-Handle-touch-events.patch Handle touch events in desktop icons 2024-03-19 20:06:18 +01:00
0001-desktop-icons-Notify-icon-drags.patch Notify on desktop icon drags 2024-03-06 13:51:45 +01:00
0001-desktop-icons-Update-Japanese-translation.patch Add extension for displaying heads up message 2021-09-28 11:24:45 -04:00
0001-desktopManager-Hook-into-LayoutManager-to-create-gri.patch Make desktop-icons resilient against background reloads 2022-12-16 22:56:54 +01:00
0001-docking-Only-remove-spacer-if-necessary.patch dash-to-dock: Handle missing main dock when restoring dash 2023-12-14 15:21:04 +01:00
0001-gesture-inhibitor-Allow-inhibiting-workspace-switch-.patch Allow inhibiting workspace switch gesture 2022-12-16 23:05:14 +01:00
0001-heads-up-display-Add-extension-for-showing-persisten.patch Add classification-banner 2021-12-14 15:42:43 +01:00
0001-Include-top-icons-in-classic-session.patch Add extension for displaying heads up message 2021-09-28 11:24:45 -04:00
0001-top-icons-Don-t-use-wm_class-as-role.patch Add extension for displaying heads up message 2021-09-28 11:24:45 -04:00
0001-Update-style.patch Update to 40.7 2022-04-13 17:43:17 +02:00
0001-window-list-Explicitly-dispose-settings-on-destroy.patch Fix crash on dconf update 2023-02-15 17:10:41 +01:00
add-extra-extensions.patch Add dash-to-panel extension 2023-11-07 21:19:43 +01:00
desktop-icons-40-fixes.patch Add extension for displaying heads up message 2021-09-28 11:24:45 -04:00
desktop-icons-Make-resilient-to-background-reloads.patch Make desktop-icons resilient against background reloads 2022-12-16 22:56:54 +01:00
gating.yaml enabling gating for el9 2021-06-16 13:23:47 +02:00
gnome-classic-wayland.patch Update to 40.5 2021-12-13 19:20:41 +01:00
gnome-shell-extensions.spec Fix downstream stylesheets 2024-04-19 00:27:15 +02:00
more-ws-previews.patch Fix downstream stylesheets 2024-04-19 00:27:15 +02:00
prefer-window-icon.patch Prefer window icons in window list 2024-03-19 14:58:15 +01:00
resurrect-system-monitor.patch Add dash-to-panel extension 2023-11-07 21:19:43 +01:00
sources Update to 40.7 2022-04-13 17:43:17 +02:00
window-list-touch.patch Improve window-list on touch 2022-06-22 12:54:49 +02:00