brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
df0f03d831
gnome-shell/js/ui
History
Florian Müllner df0f03d831 overview: Keep open when a Control key is held 
It is useful at times to perform several actions that would usually
close the overview (for instance launching an application) at once.
Currently we allow this by dragging items to a workspace rather than
just clicking it, but it's an odd metaphor with its own set of
problems.
Introduce an alternative approach (inspired by file selection in
file managers) by keeping the overview open if a Control key is
held down.

https://bugzilla.gnome.org/show_bug.cgi?id=686984
2013-02-21 17:21:54 +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: Rename "System Settings" to "Settings" 2013-02-20 20:07:08 +01: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 checkBox: Work around a height-for-width problem 2012-03-26 14:43:54 +02:00
ctrlAltTab.js ctrlAltTab: Remove a "window" parameter leftover 2012-12-16 23:03:34 +01:00
dash.js dash: add a workaround for Clutter bug 692744 2013-02-20 20:51: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 process response until closed 2013-02-20 14:16:54 -05:00
environment.js Switch string formatting to the one inside gjs 2012-05-24 15:38:44 -04:00
extensionDownloader.js modalDialog: drop global.get_current_time() arguments to close 2013-02-20 14:16:53 -05: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: Take extra spacing into account for height requests 2013-02-20 19:38:38 -05: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 lg: add a reference to lookingGlass in the Extensions tab. 2013-02-20 23:14:53 +00:00
magnifier.js magnifier: Don't use some deprecated APIs 2012-08-31 16:43:52 -03:00
magnifierDBus.js Port everything to class framework 2011-11-24 09:50:04 +01:00
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 modalDialog: emit 'closed' signal when dialog is closed 2013-02-20 14:16:53 -05:00
notificationDaemon.js NotificationDaemon: support sound in notifications 2013-02-14 18:54:08 +01:00
overview.js overview: Keep open when a Control key is held 2013-02-21 17:21:54 +01:00
overviewControls.js overviewControls: fade view selector and thumbnails slider on DnD 2013-02-21 11:16:43 -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 Port client side code to GDBus 2011-11-11 11:15:38 -05:00
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 overviewControls: fade view selector and thumbnails slider on DnD 2013-02-21 11:16:43 -05: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: fix stacking of window clones 2013-02-20 20:56:58 +01:00
workspacesView.js workspacesView: Remove some unused variables 2013-02-20 20:17:20 +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 mutter warning 2013-02-21 16:10:09 +01:00
xdndHandler.js xdndHandler: Add the dummy actor to the uiGroup 2013-02-18 14:47:17 -05:00