Giovanni Campagna a370697385 Workspace: Highlight window clone and caption when hovered ...

Windows in the overview should be highlighted when hovered, to indicate
they are an active target.

Based on a patch by Marc Plano-Lesay <marc.planolesay@gmail.com>

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

2012-11-20 18:01:11 +01:00

..

components

networkAgent: ensure auto-register is set when the component is enabled

2012-11-20 14:00:03 +01:00

status

bluetooth: add translation hints

2012-11-19 19:56:08 +01:00

altTab.js

main: Use Params for optional parameters to pushModal()

2012-11-17 01:44:22 +01:00

appDisplay.js

dash: properly restore item label on popup close

2012-11-07 00:26:11 +01:00

appFavorites.js

Show feedback notifications when the user is busy

2012-11-02 19:25:26 +01:00

boxpointer.js

popupMenu: Overwrite ongoing animations when calling close repeatedly

2012-10-23 22:21:45 +02:00

calendar.js

calendar: Handle calendar-server errors

2012-10-24 18:26:03 +02:00

checkBox.js

…

ctrlAltTab.js

…

dash.js

dash: Disable animations during overview transitions

2012-11-12 16:59:12 +01:00

dateMenu.js

…

dnd.js

…

endSessionDialog.js

Use the correct icon in the restart dialog

2012-11-01 16:21:52 +00:00

environment.js

…

extensionDownloader.js

…

extensionSystem.js

…

flashspot.js

…

grabHelper.js

grabHelper: Support optional parameters to pushModal()

2012-11-17 01:44:22 +01:00

ibusCandidatePopup.js

…

iconGrid.js

…

keyboard.js

Layout: show the OSK on the monitor where the focused window lives

2012-11-20 17:57:24 +01:00

layout.js

Layout: show the OSK on the monitor where the focused window lives

2012-11-20 17:57:24 +01:00

lightbox.js

…

lookingGlass.js

main: Add optional keybindingMode parameter to pushModal()

2012-11-17 01:44:22 +01:00

magnifier.js

…

magnifierDBus.js

…

main.js

windowManager: Use generic filter mechanism for all keybindings

2012-11-17 01:52:51 +01:00

messageTray.js

Layout: show the OSK on the monitor where the focused window lives

2012-11-20 17:57:24 +01:00

modalDialog.js

main: Add optional keybindingMode parameter to pushModal()

2012-11-17 01:44:22 +01:00

notificationDaemon.js

…

overview.js

main: Add optional keybindingMode parameter to pushModal()

2012-11-17 01:44:22 +01:00

panel.js

ctrl-alt-tab: use better icons

2012-11-20 11:42:04 +00:00

panelMenu.js

panelMenu: Fix exception when destroying menuless button

2012-10-26 15:49:26 +02:00

pointerWatcher.js

Port to GnomeIdleMonitor

2012-10-22 12:06:45 -04:00

popupMenu.js

popupMenu: Overwrite ongoing animations when calling close repeatedly

2012-10-23 22:21:45 +02:00

remoteSearch.js

remote-search: apply sort-order from GSettings

2012-11-19 11:45:21 -05:00

runDialog.js

runDialog: Remove "Run" button again

2012-10-30 15:50:05 +01:00

screenShield.js

ScreenShield: unbreak blurring the background

2012-11-19 20:13:36 +01:00

scripting.js

…

search.js

view-selector: filter out disabled search providers

2012-11-19 11:45:21 -05:00

searchDisplay.js

…

sessionMode.js

windowManager: Replace sessionMode.allowKeybindingsWhenModal

2012-11-17 01:52:51 +01:00

shellDBus.js

…

shellEntry.js

…

shellMountOperation.js

…

tweener.js

…

unlockDialog.js

Add screenshield and unlock dialog to ctrl-alt-tab

2012-11-17 01:52:51 +01:00

userMenu.js

Rename "System Settings" to "Settings"

2012-11-07 16:05:23 +00:00

viewSelector.js

ctrl-alt-tab: use better icons

2012-11-20 11:42:04 +00:00

wanda.js

…

windowAttentionHandler.js

Show feedback notifications when the user is busy

2012-11-02 19:25:26 +01:00

windowManager.js

windowManager: Replace sessionMode.allowKeybindingsWhenModal

2012-11-17 01:52:51 +01:00

workspace.js

Workspace: Highlight window clone and caption when hovered

2012-11-20 18:01:11 +01:00

workspacesView.js

workspacesView: Add some more spacing between window and workspace thumbs

2012-10-23 15:12:45 -04:00

workspaceSwitcherPopup.js

…

workspaceThumbnail.js

Revert "overview: highlight windows on launcher hover"

2012-11-07 00:33:32 +01:00

xdndHandler.js

…