gnome-shell

History

Marco Trevisan (Treviño) c0c2edf2e1 keyboard: Unset current page when it gets destroyed

The current page is going to be destroyed as part of _onKeyboardGroupsChanged
cleanup, however we don't unset its pointer, and thus we'd might try to call a
function using an invalidated pointer.

So, unset the this._current_page reference when its get destroyed, connecting
to destroy signal when setting it and disconnecting when changing page.

Fixes https://gitlab.gnome.org/GNOME/gnome-shell/issues/1281

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/540

2019-05-09 15:07:54 -05:00

extensionPrefs

extensionPrefs: Fix pref button appearance

2019-04-12 00:51:44 +02:00

gdm

popupMenu: Make MenuManager to take an actor as parameter

2019-04-17 21:32:18 +00:00

misc

boxpointer: Don't use boxpointer actor, as it's now an actor itself

2019-04-17 21:32:18 +00:00

perf

perf: Stop using GTK