Read-only mirror of https://gitlab.gnome.org/GNOME/gnome-shell
670532e5c9
The panel show/hide changes broke things if window restacking occurred while the overlay was active. Now instead of having the panel set the input area itself, main.js just watches whether or not the panel is visible, and updates things itself (taking the modal state into account as well). http://bugzilla.gnome.org/show_bug.cgi?id=576903 |
||
---|---|---|
.settings | ||
data | ||
js | ||
src | ||
tools/build | ||
.gitignore | ||
.project | ||
AUTHORS | ||
autogen.sh | ||
configure.ac | ||
COPYING | ||
MAINTAINERS | ||
Makefile.am | ||
README |