gnome-shell/js
Alessandro Bono 7090592477 windowManager: Rename variable
Since there is already targetRect that represents where the
window is going to move, rename oldRect to sourceRect to
represent from where the window is moving.

https://bugzilla.gnome.org/show_bug.cgi?id=766685
2017-05-24 21:10:28 +02:00
..
extensionPrefs extensionPrefs: Avoid a runtime warning 2017-04-20 19:18:23 +02:00
gdm loginDialog: Fix session button can be clicked 2017-04-19 10:27:41 -04:00
misc util: Always use 12h format if requested 2017-05-22 15:41:29 +02:00
perf Revert accidental commit "Test stuff" 2014-09-03 13:47:18 -04:00
portalHelper portalHelper: Fix portals which require a new window to be loaded 2017-04-06 12:28:43 +02:00
ui windowManager: Rename variable 2017-05-24 21:10:28 +02:00
js-resources.gresource.xml location: Split out PermissionStore 2017-03-20 19:02:08 +01:00
Makefile.am Use the versioned libmutter*.so versions 2017-02-14 11:23:09 +08:00