Florian Müllner 70da558802 overview: Add coverPane to stack instead of BoxLayout ...

The event catcher that covers the entire primary monitor during
transitions is currently inside a BoxLayout, relying in its
odd support for fixed position actors.
We already have a proper stack widget in place, move it there.

https://bugzilla.gnome.org/show_bug.cgi?id=703808

2013-07-09 23:19:20 +02:00

..

components

Make autorun notifications work

2013-07-01 16:54:01 -04:00

status

network: Fix a recursion issue when updating VPN

2013-07-03 13:55:08 -04:00

altTab.js

…

animation.js

ui: move AnimatedIcon out of panel.js

2013-06-25 15:16:42 -04:00

appDisplay.js

appDisplay: Give more horizontal space to control buttons

2013-06-03 19:26:26 +02:00

appFavorites.js

…

background.js

background: fix asynchronous management of background loading operations

2013-07-03 17:03:02 +01:00

backgroundMenu.js

…

boxpointer.js

boxpointer: fix left/right arrow side calculation

2013-07-01 18:42:00 +02:00

calendar.js

Calendar: refactor the layout of the event list

2013-06-14 18:44:47 +02:00

checkBox.js

…

ctrlAltTab.js

Rework window / actor focus handling

2013-07-08 17:05:16 -04:00

dash.js

dash: Grow the empty dash during drag operations

2013-06-05 15:32:43 +02:00

dateMenu.js

dateMenu: Update visibility syncing for new dateMenu layout

2013-06-24 15:14:03 -04:00

dnd.js

dnd: Make the draggable much faster

2013-07-02 14:17:38 -04:00

endSessionDialog.js

logout dialog: Show the correct text right away

2013-06-12 05:48:23 -04:00

environment.js

…

extensionDownloader.js

…

extensionSystem.js

Disable all extensions in reverse order

2013-05-22 07:51:23 +02:00

grabHelper.js

grabHelper: Remove explicitly having to select modal

2013-07-08 16:51:51 -04:00

ibusCandidatePopup.js

…

iconGrid.js

…

keyboard.js

…

layout.js

layout: Don't use the input mode to block events to windows

2013-07-08 17:05:17 -04:00

lightbox.js

…

lookingGlass.js

lookingGlass: Use uiGroup as parent instead of panelBox

2013-07-09 23:19:20 +02:00

magnifier.js

…

magnifierDBus.js

…

main.js

global: Automatically unshape the stage X window when we take a modal

2013-07-08 17:05:17 -04:00

messageTray.js

grabHelper: Remove explicitly having to select modal

2013-07-08 16:51:51 -04:00

modalDialog.js

modalDialog: Minor coding style fix

2013-07-09 22:06:13 +02:00

notificationDaemon.js

…

osdWindow.js

osdWindow: Make sure to clear the hide timeout

2013-06-24 17:23:43 -04:00

overview.js

overview: Add coverPane to stack instead of BoxLayout

2013-07-09 23:19:20 +02:00

overviewControls.js

overviewControls: Don't push window thumbs over when workspaces are invisible

2013-05-29 13:04:45 -04:00

panel.js

Rework window / actor focus handling

2013-07-08 17:05:16 -04:00

panelMenu.js

…

pointerWatcher.js

…

popupMenu.js

grabHelper: Remove explicitly having to select modal

2013-07-08 16:51:51 -04:00

remoteMenu.js

…

remoteSearch.js

search: Rename pushResults to setResults

2013-05-29 11:32:49 -04:00

runDialog.js

…

screencast.js

screencast: Fix return value in case of invalid file template

2013-05-22 17:22:28 +02:00

screenShield.js

ScreenShield: when the user goes idle, check for active before pushing a modal

2013-07-04 15:16:27 +02:00

screenshot.js

…

scripting.js

…

search.js

search: Rename pushResults to setResults

2013-05-29 11:32:49 -04:00

searchDisplay.js

searchDisplay: Remove the setResults/getResultsForDisplay dance

2013-05-29 11:32:50 -04:00

separator.js

…

sessionMode.js

main: Pick up overridesSchema from sessionMode

2013-06-07 19:52:10 +02:00

shellDBus.js

overview: Add focusSearch() method and export it over DBus

2013-05-17 18:27:17 +02:00

shellEntry.js

…

shellMountOperation.js

…

slider.js

slider: Add rounded ends to sliders

2013-06-25 09:49:44 -04:00

switcherPopup.js

…

tweener.js

…

unlockDialog.js

userMenu: Move UserAvatarWidget into UserWidget

2013-06-06 14:00:37 -04:00

userMenu.js

userMenu: Use addSettingsAction

2013-06-06 14:00:38 -04:00

userWidget.js

userMenu: Move UserAvatarWidget into UserWidget

2013-06-06 14:00:37 -04:00

viewSelector.js

searchDisplay: Remove the "provider meta"

2013-05-29 11:32:50 -04:00

wanda.js

search: Rename pushResults to setResults

2013-05-29 11:32:49 -04:00

windowAttentionHandler.js

…

windowManager.js

Fix launching apps / search results in new workspaces by dragging

2013-07-01 13:22:05 -04:00

workspace.js

workspace: Remove unused zooming property

2013-06-29 11:56:37 +02:00

workspacesView.js

overview: Really fix zoom animation

2013-06-26 18:06:54 +02:00

workspaceSwitcherPopup.js

…

workspaceThumbnail.js

Fix launching apps / search results in new workspaces by dragging

2013-07-01 13:22:05 -04:00

xdndHandler.js

…