Commits on Source (7)
-
gogo authoredc26b4803
-
Sveinn í Felli authored396f4ef5
-
Neal Gompa authored
GDM has supported sessions registering with it for a few years now so it can know when to shut down the greeter. Having the GNOME Classic session declare that it will register itself allows GDM to avoid executing a fallback codepath. This has been supported with the regular GNOME session for a while, and this session was likely forgotten about when it was added there. (cherry picked from commit a79d2afb) Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/202>
de9a3df7 -
Sebastian Keller authored
The window-picker padding was causing it to become smaller in the overview resulting in a jump when opening it and caused sizing issues with the workspace view in the app picker. However it is not needed anymore with the new overview, so this can be fixed by simply removing it. The horizontal- and vertical-spacing properties got replaced with a spacing property a while ago. However this is only used in WorkspaceLayout::_createBestLayout() which gets overridden by this extension which does not use it. So they can simply be removed. The shell-caption-spacing property got removed when the window captions got changed to always use the full length and has not been doing anything since. Fixes: https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/issues/301 Fixes: https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/issues/309 (cherry picked from commit 4a26cecd) Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/202>
486cb59a -
Florian Müllner authored
The reveal animation moved from Main.layoutManager.keyboardBox to the keyboard itself, so instead of applying an additional translation for the bottom panel, we override the translation that would reveal the keyboard (and thus prevent it from showing altogether). Fix this by moving our translation to the keyboardBox instead. (cherry picked from commit 02e5029e) Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/202>
deb60313 -
Florian Müllner authored
Update NEWS. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/200>
a5b68715 -
Jeremy Bicha authoredd8b526a7