New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Sharp corners after shell reload #41

Closed

oae opened this issue Aug 23, 2022 · 0 comments

oae commented Aug 23, 2022

On the X11 session, corners become sharp if I reload the gnome shell with alt + f2.

The text was updated successfully, but these errors were encountered:

yilozt closed this as completed in

5bf47ef

yilozt added a commit that referenced this issue


          Enable rounded corners effect when gnome-shell is ready

bd8e023

Closes #41

When gnome-shell is starting up, there is no windows to be added rounded
corners because `global.get_window_actors()` return a empty array. After
connect 'startup-complete' signal of 'imports.ui.Main.layoutManger', it
will ensure `global.get_window_actors()` always return all window actors
for this extensions.

Ref:
https://github.com/aunetx/blur-my-shell/blob/21d4bbde15acf7c3bf348f7375a12f7b14c3ab6f/src/extension.js#L87

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment