gnome-shell/js/ui
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 switcherPopup: Add a timestamp argument to _finish() 2012-12-06 12:25:37 -05:00
appDisplay.js AppDisplay: fix undefined variable reference 2013-02-20 17:04:01 +01:00
appFavorites.js Show feedback notifications when the user is busy 2012-11-02 19:25:26 +01:00
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 ctrlAltTab: Remove a "window" parameter leftover 2012-12-16 23:03:34 +01:00
dash.js appDisplay: Merge AppIcon and AppWellIcon 2013-02-20 00:08:11 +01:00
dateMenu.js general: Use & instead of 'and' for Settings panels 2013-02-05 08:54:16 -05:00
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 extensionDownloader: Fix extension installation 2012-08-23 22:57:46 -03:00
extensionSystem.js extensionSystem: Allow extensions to provide mode-specific styling 2013-02-05 19:54:17 +01:00
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 Fix bad rebase and regression in 3f6f597 2013-01-31 16:07:16 +01:00
lookingGlass.js lookingGlass: Remove old hack for static functions on interfaces 2013-02-08 14:31:08 -05:00
magnifier.js magnifier: Don't use some deprecated APIs 2012-08-31 16:43:52 -03:00
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 main: Move KeybindingMode into Shell 2013-02-04 16:48:40 +01:00
notificationDaemon.js NotificationDaemon: support sound in notifications 2013-02-14 18:54:08 +01:00
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 Switch all external uses of Main.panel.actor.height to the work area 2013-02-06 22:35:49 -05:00
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 runDialog: Remove "Run" button again 2012-10-30 15:50:05 +01:00
screenShield.js screenShield: don't use Bin for BackgroundManager container 2013-02-19 21:54:00 -05:00
screenshot.js screenshot: Immediately show the flash spot 2013-01-16 17:19:16 -05:00
scripting.js
search.js search: Don't run a full search for equal terms 2013-02-16 13:24:21 -05:00
searchDisplay.js searchDisplay: Remove doSearch 2013-02-14 14:05:37 -05:00
separator.js js: Explicitly dispose all cairo contexts 2013-01-08 13:07:51 -05:00
sessionMode.js AccessibilityMenu: hide when not needed 2013-02-19 22:07:08 +01:00
shellDBus.js ScreenShield: separate notifications for active and locked 2013-02-03 14:59:58 +01:00
shellEntry.js shellEntry: Don't navigate forward before popping up the menu 2013-02-18 16:17:09 -05:00
shellMountOperation.js Add a setting for the default state of 'Remember Password' 2012-12-02 23:01:56 +01:00
switcherPopup.js switcherPopup: Hide the top level actor on _init 2013-01-19 00:27:36 +01:00
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 search: remove SearchProvider base class 2012-12-10 16:50:54 -05:00
windowAttentionHandler.js Show feedback notifications when the user is busy 2012-11-02 19:25:26 +01:00
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 Switch all external uses of Main.panel.actor.height to the work area 2013-02-06 22:35:49 -05:00
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