gnome-shell/js
Dylan McCall 03117d65b2 panel: Drag topmost maximized window
This makes it possible to drag a window which appears connected with the
panel, even if it is not in focus. As a result, it should be easier to
manipulate side-by-side windows.

https://bugzilla.gnome.org/show_bug.cgi?id=679290
2019-05-04 13:50:04 -07: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 2019-04-11 17:27:50 +00:00
portalHelper cleanup: Use destructuring for imports from GI 2019-02-09 07:39:20 +01:00
ui panel: Drag topmost maximized window 2019-05-04 13:50:04 -07:00
js-resources.gresource.xml build: Remove remote menu support 2019-02-06 18:29:15 +01: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