isa/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
c1a7c71549
gnome-shell/js
History
Joonas Henriksson c68bd33432 appMenu: Hide stopped spinner actor 
Get rid of leftover empty space from the application menu panel
button, that was used by the spinner actor, which remained visible
even after the spinner had stopped.

Fixes: https://gitlab.gnome.org/GNOME/gnome-shell/issues/1679
https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/832
2019-11-19 20:56:16 +02:00
..
extensionPrefs cleanup: Avoid unnecessary parentheses 2019-11-11 19:25:14 +00:00
gdm style: Allow lonely ifs where appropriate 2019-11-11 23:51:17 +00:00
misc style: Allow lonely ifs where appropriate 2019-11-11 23:51:17 +00:00
perf cleanup: Require "dangling" commas 2019-11-11 19:25:14 +00:00
portalHelper cleanup: Require "dangling" commas 2019-11-11 19:25:14 +00:00
ui appMenu: Hide stopped spinner actor 2019-11-19 20:56:16 +02:00
js-resources.gresource.xml accessibility: Add pointer accessibility support 2019-06-06 09:13:29 +02:00
meson.build build: Use dedicated resources for helper programs 2018-08-14 17:28:04 +00:00
portal-resources.gresource.xml build: Include params.js in portal-helper gresources 2018-10-23 15:38:31 +00:00
prefs-resources.gresource.xml build: Use dedicated resources for helper programs 2018-08-14 17:28:04 +00:00