06d17e08c0
The scale of windows within a workspace is determined by the scale of the workspace since we never scale a window bigger than the original size of the window. So when we rescale workspaces we have to rerun Workspace.positionWindows(). http://bugzilla.gnome.org/show_bug.cgi?id=591124 |
||
---|---|---|
.. | ||
altTab.js | ||
appDisplay.js | ||
button.js | ||
chrome.js | ||
dash.js | ||
dnd.js | ||
docDisplay.js | ||
genericDisplay.js | ||
link.js | ||
lookingGlass.js | ||
main.js | ||
Makefile.am | ||
overlay.js | ||
panel.js | ||
places.js | ||
runDialog.js | ||
sidebar.js | ||
tweener.js | ||
widget.js | ||
widgetBox.js | ||
windowManager.js | ||
workspaces.js |