Florian Müllner 420f0109ee workspacesView: Treat 'gesture-cancel' the same as 'gesture-end' ...

When a swipe scroll completes, we scroll the active workspace into
view. This works fine if the gesture is completed properly by
emitting 'gesture-end', but not when Clutter considers the gesture
cancelled - in that case, the view remains stuck in an intermediate
position. To fix, treat 'gesture-cancel' the same as 'gesture-end'.

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

2013-02-20 17:43:44 +01:00

..

components

polKitAgent: Don't crash when we cannot enable/disable the auth agent

2013-02-19 17:25:53 +01:00

status

AccessibilityMenu: hide when not needed

2013-02-19 22:07:08 +01:00

altTab.js

…

appDisplay.js

AppDisplay: fix undefined variable reference

2013-02-20 17:04:01 +01:00

appFavorites.js

…

background.js

background: don't call destroy() from the destroy handler

2013-02-20 00:06:38 -05:00

backgroundMenu.js

BackgroundMenu: fix regression from new background handling

2013-02-19 20:57:21 -05:00

boxpointer.js

AppDisplay: fix folder popup arrow

2013-02-20 16:04:54 +01:00

calendar.js

Calendar: don't initialize the event source synchronously

2013-02-17 16:06:00 +01:00

checkBox.js

…

ctrlAltTab.js

…

dash.js

appDisplay: Merge AppIcon and AppWellIcon

2013-02-20 00:08:11 +01:00

dateMenu.js

…

dnd.js

AppDisplay: fake a release event to dnd when opening the menu

2013-02-20 17:01:25 +01:00

endSessionDialog.js

endSessionDialog: don't use Tweener for the timer

2013-02-14 20:42:53 -05:00

environment.js

…

extensionDownloader.js

…

extensionSystem.js

…

grabHelper.js

grabHelper: Fix indentation

2013-02-18 04:31:45 -05:00

ibusCandidatePopup.js

ibusCandidatePopup: Fix cursor positioning

2013-02-15 00:26:47 +01:00

iconGrid.js

iconGrid: Dynamically adjust spacing based on columnLimit

2013-02-20 00:39:18 +01:00

keyboard.js

keyboard: destroy actors when a group is removed

2013-02-20 22:39:41 +09:00

layout.js

layout: Clean up consoleBackgroundGroup

2013-02-20 11:36:19 -05:00

lightbox.js

…

lookingGlass.js

…

magnifier.js

…

magnifierDBus.js

…

main.js

layout: Rebuild struts and the input region when the Shell starts up

2013-02-20 11:36:19 -05:00

messageTray.js

messageTray: Move makeCloseButton() into Util

2013-02-20 00:08:11 +01:00

modalDialog.js

…

notificationDaemon.js

…

overview.js

layout: rework background handling

2013-02-19 18:39:54 -05:00

overviewControls.js

overviewControls: use Params for SlidingControl constructor

2013-02-18 22:50:11 -05:00

panel.js

panel: Don't try to begin a grab op while something else has taken a grab

2013-02-20 11:36:06 -05:00

panelMenu.js

…

pointerWatcher.js

Update to new GnomeIdleMonitor API

2013-02-15 09:13:02 +01:00

popupMenu.js

popupMenu: Close all child menus when the main menu is closed

2013-02-18 13:31:15 -05:00

remoteSearch.js

Remove builtin settings search provider

2013-02-18 16:56:45 +01:00

runDialog.js

…

screenShield.js

screenShield: don't use Bin for BackgroundManager container

2013-02-19 21:54:00 -05:00

screenshot.js

…

scripting.js

…

search.js

search: Don't run a full search for equal terms

2013-02-16 13:24:21 -05:00

searchDisplay.js

…

separator.js

…

sessionMode.js

AccessibilityMenu: hide when not needed

2013-02-19 22:07:08 +01:00

shellDBus.js

…

shellEntry.js

shellEntry: Don't navigate forward before popping up the menu

2013-02-18 16:17:09 -05:00

shellMountOperation.js

…

switcherPopup.js

…

tweener.js

tweener: follow org.gnome.desktop.interface enable-animations

2013-02-14 20:42:53 -05:00

unlockDialog.js

unlockDialog: move user widget into separate file

2013-02-19 18:39:53 -05:00

userMenu.js

userMenu: Use single quotes for non translateable strings

2013-02-19 08:44:01 +01:00

userWidget.js

unlockDialog: move user widget into separate file

2013-02-19 18:39:53 -05:00

viewSelector.js

appDisplay: Merge AllAppDisplay and ViewByCategories

2013-02-20 00:08:11 +01:00

wanda.js

…

windowAttentionHandler.js

…

windowManager.js

Minimize fullscreen windows when they end up in the background

2013-02-18 19:30:56 +01:00

workspace.js

workspace: Don't use grid layout

2013-02-20 00:44:37 +01:00

workspacesView.js

workspacesView: Treat 'gesture-cancel' the same as 'gesture-end'

2013-02-20 17:43:44 +01:00

workspaceSwitcherPopup.js

…

workspaceThumbnail.js

WorkspaceThumbnail: fix typo in stacking code

2013-02-20 01:59:14 +01:00

xdndHandler.js

xdndHandler: Add the dummy actor to the uiGroup

2013-02-18 14:47:17 -05:00