Joonas Henriksson 4a3ca40c48 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/834

2019-11-19 23:25:34 +02:00

..

extensionPrefs

cleanup: Use consistent brace style of blocks

2019-09-15 16:02:45 +02:00

gdm

loginDialog: Stop using deprecated actor property

2019-09-20 16:58:00 +00:00

misc

ibusManager: Cancel the preload engines timeout on clear

2019-10-02 18:19:53 +02:00

perf

cleanup: Disambiguate assignments in arrow functions

2019-09-15 16:02:45 +02:00

portalHelper

cleanup: Mark globals used from other modules as exported

2019-07-24 00:28:45 +02:00

ui

appMenu: Hide stopped spinner actor

2019-11-19 23:25:34 +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