Giovanni Campagna 1256af7b9a WindowManager: scale windows to their monitor's corner on minimize ... We previously scaled windows to (primary.x, 0), which is wrong if the primary monitor is not at y == 0. At the same time, change the policy to pick the hot corner on the monitor the window is on, because that's closest to where it will appear in the overview. https://bugzilla.gnome.org/show_bug.cgi?id=690241		2012-12-16 22:40:33 +01:00
..
extensionPrefs	extensionPrefs: Remove an extra parameter to set_cell_data_func	2012-10-10 18:21:03 -03:00
gdm	Login: add a spinner for better process indication	2012-11-20 21:08:38 +01:00
misc	Reverting "extensionUtils: Remove unused property"	2012-12-13 14:16:44 -05:00
perf	perf: Update to latest overlay changes	2012-08-20 20:40:01 +02:00
ui	WindowManager: scale windows to their monitor's corner on minimize	2012-12-16 22:40:33 +01:00
Makefile.am	popupMenu: Break separator drawing code out of PopupSeparatorMenuItem	2012-12-10 16:50:53 -05:00