Merge requests · GNOME / gnome-shell · GitLab

panel: Switch workspaces when scrolling over activities

!2933 · created Sep 01, 2023 by Florian Müllner GNOME 45
1. Enhancement 5. Panel
- Merged
- Approved
- 1
- 2
updated Sep 19, 2023
panel: Add workspaces indicators in activities button

!2902 · created Aug 18, 2023 by Georges Basile Stavracas Neto GNOME 45
1. Enhancement 5. Panel
- Merged
- Approved
- 12
- 23
updated Aug 26, 2023
status: Show -disabled icons when devices are disabled

!2198 · created Feb 18, 2022 by Jonas Dreßler
1. Enhancement 5. Panel
- Merged
- 7
updated Feb 23, 2022
remoteAccess: Hide indicator after a timeout

!2132 · created Jan 27, 2022 by Jonas Ådahl GNOME 42
5. Panel
- Merged
- Approved
- 17
updated Mar 04, 2022
Remove some more menu arrows

!1618 · created Feb 01, 2021 by Florian Müllner GNOME 40 master
1. Enhancement 5. Panel
- Merged
- Approved
- 0
updated Feb 01, 2021
Make the panel fully transparent while in the overview

!1397 · created Aug 06, 2020 by Jonas Dreßler master
1. Enhancement 5. Overview 5. Panel
- Merged
- 6
- 30
updated Jan 13, 2021
shell-app: Use container widget for fallback X11 app icons

!1181 · created Apr 05, 2020 by Jonas Dreßler master
1. Bug 5. Panel
- Merged
- 4
updated Apr 06, 2020
Improve do-not-disturb style and behavior

!1037 · created Feb 20, 2020 by Jonas Dreßler master
1. Bug 1. Enhancement 5. Panel
- Merged
- 1
- 11
updated Mar 01, 2020
panel: Don't chain up to parent's allocate

!521 · created Apr 29, 2019 by Florian Müllner GNOME 3.32 master
1. Bug 1. Performance 5. Panel
- Merged
- 1
- 1
updated Jul 09, 2023
panel: Animate showing and hiding of the panel

!381 · created Feb 01, 2019 by Jonas Dreßler
1. Enhancement 2. Needs Design 5. Panel
- Closed
- 8
- 8
updated Mar 08, 2022
panel: Drag topmost maximized window

!216 · created Sep 02, 2018 by Dylan McCall master
1. Bug 5. Panel
- Merged
- 8
updated May 05, 2019
Fade background when top bar is transparent

!164 · created Jul 24, 2018 by Florian Müllner master
1. Feature 5. Panel
- Closed
- 2
updated Feb 05, 2019
WIP: panel: Drag topmost maximized window

!18 · created Feb 05, 2018 by Dylan McCall master
1. Feature 5. Panel 6. Window management
- Closed
- 13
updated Sep 02, 2018