Mario Sanchez Prada 043f042cec altTab: Close the list of thumbnails in the switcher when closing an app ...

This makes sure that no thumbnails list is left open and empty, since both
the app's icon and all its thumbnails will be gone once the app is closed.

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

2017-12-01 21:30:26 +00:00

..

components

autorunManager: Avoid access to non-existent array element

2017-09-19 20:07:21 +02:00

status

status/keyboard: Reset menuItems and Label objects on change

2017-11-21 02:16:38 -05:00

accessDialog.js

…

altTab.js

altTab: Close the list of thumbnails in the switcher when closing an app

2017-12-01 21:30:26 +00:00

animation.js

…

appDisplay.js

appDisplay: Include system actions in search results

2017-08-22 13:02:58 +02:00

appFavorites.js

appFavorites: Add Empathy to rename list

2017-08-30 21:16:16 -05:00

audioDeviceSelection.js

…

background.js

…

backgroundMenu.js

…

boxpointer.js

boxpointer: If available, use source actor for constraining

2017-09-04 16:28:58 +08:00

calendar.js

calendar: Rebuild the calendar when the time zone changes

2017-10-04 16:44:07 +02:00

checkBox.js

…

closeDialog.js

…

ctrlAltTab.js

…

dash.js

…

dateMenu.js

weather: Mark conditions as significant

2017-10-04 18:12:26 +02:00

dialog.js

dialog: Reset initial focus on destroy

2017-10-26 18:14:52 +02:00

dnd.js

dnd: Prevent dividing by zero when calculating the scale factor

2017-09-22 15:50:07 +01:00

edgeDragAction.js

…

endSessionDialog.js

…

environment.js

…

extensionDownloader.js

extension: log message if extension could not be installed

2017-11-21 13:15:05 -05:00

extensionSystem.js

…

focusCaretTracker.js

…

grabHelper.js

…

ibusCandidatePopup.js

…

iconGrid.js

…

inhibitShortcutsDialog.js

inhibitShortcuts: Whitelist OS components

2017-08-22 12:09:04 +02:00

keyboard.js

…

layout.js

layout: Unset primary and bottom monitor when headless

2017-10-06 20:31:14 -04:00

lightbox.js

…

lookingGlass.js

…

magnifier.js

…

magnifierDBus.js

…

main.js

dateMenu: Use icon for message indicator

2017-09-12 17:32:51 +02:00

messageList.js

…

messageTray.js

messageTray: Check monitor's existence before trying to update the state

2017-09-28 16:32:00 +01:00

modalDialog.js

dialog: Fix setting buttons as initial key focus

2017-10-04 18:12:27 +02:00

mpris.js

…

notificationDaemon.js

notificationDaemon: Guard against invalid D-Bus object paths

2017-09-25 15:57:20 +01:00

osdMonitorLabeler.js

…

osdWindow.js

…

overview.js

overview: Protect ::drag-end handlers

2017-11-17 14:34:40 +01:00

overviewControls.js

overview: Don't expand workspace thumbnails by default

2017-08-10 20:16:06 +02:00

padOsd.js

padOsd: Add one to the >1 rings

2017-08-03 22:06:33 +02:00

panel.js

panel: focus windows on Escape key press

2017-11-01 20:52:58 +01:00

panelMenu.js

…

pointerWatcher.js

…

popupMenu.js

popupMenu: Fix setting ImageMenuItem's icons via strings

2017-10-16 20:47:05 +02:00

remoteMenu.js

…

remoteSearch.js

remoteSearch: Fix remote search providers

2017-09-21 16:53:32 +02:00

runDialog.js

…

screencast.js

…

screenShield.js

…

screenshot.js

…

scripting.js

…

search.js

viewSelector: Open context for highlighted search result

2017-08-17 16:58:17 +02:00

sessionMode.js

gdm: Remove separate greeter universal access icon

2017-10-13 16:53:54 +02:00

shellDBus.js

…

shellEntry.js

…

shellMountOperation.js

…

slider.js

…

switcherPopup.js

[appSwitcher] Add shortcut to quit application

2017-11-30 16:58:18 +00:00

switchMonitor.js

windowManager: Add a switcher for mutter's switch-monitor keybinding

2017-08-22 10:50:56 +02:00

tweener.js

…

unlockDialog.js

…

userWidget.js

Resize the user's avatar when scaling factor changes

2017-08-11 12:47:45 +02:00

viewSelector.js

viewSelector: Open context for highlighted search result

2017-08-17 16:58:17 +02:00

windowAttentionHandler.js

windowAttentionHandler: Fix typo

2017-10-26 19:54:50 +02:00

windowManager.js

windowManager: Disable OSK gesture on lock screen

2017-09-29 15:59:10 +02:00

windowMenu.js

…

workspace.js

workspace: Focus clone when highlighting

2017-10-04 18:12:27 +02:00

workspacesView.js

…

workspaceSwitcherPopup.js

Fix some more undefined property warnings

2017-09-19 20:07:21 +02:00

workspaceThumbnail.js

ui: Improve handling being headless

2017-10-04 11:50:21 -04:00

xdndHandler.js

…