brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
c9b079cbb5
gnome-shell/js/ui
History
Florian Müllner dabcd29fb6 panelMenu: Close menu when hiding the corresponding button 
A PanelMenuButton added to the top bar might not be visible at all
times. If it is hidden while the corresponding menu is open, we
currently don't do anything at all, e.g. the menu remains open
pointing to an arbitrary location in the top bar.
Instead, close the menu automatically in that case.

https://bugzilla.gnome.org/show_bug.cgi?id=703540
2013-07-11 17:14:02 +02:00
..
components Make autorun notifications work 2013-07-01 16:54:01 -04:00
status network: Fix a recursion issue when updating VPN 2013-07-03 13:55:08 -04:00
altTab.js altTab: Always activate MRU window when activating an app 2013-05-15 12:12:35 +02:00
animation.js ui: move AnimatedIcon out of panel.js 2013-06-25 15:16:42 -04:00
appDisplay.js appDisplay: Give more horizontal space to control buttons 2013-06-03 19:26:26 +02:00
appFavorites.js
background.js background: fix asynchronous management of background loading operations 2013-07-03 17:03:02 +01:00
backgroundMenu.js backgroundMenu: Ignore releases when using long-press 2013-04-26 11:23:37 -04:00
boxpointer.js boxpointer: fix left/right arrow side calculation 2013-07-01 18:42:00 +02:00
calendar.js Calendar: refactor the layout of the event list 2013-06-14 18:44:47 +02:00
checkBox.js
ctrlAltTab.js Rework window / actor focus handling 2013-07-08 17:05:16 -04:00
dash.js dash: Grow the empty dash during drag operations 2013-06-05 15:32:43 +02:00
dateMenu.js dateMenu: Update visibility syncing for new dateMenu layout 2013-06-24 15:14:03 -04:00
dnd.js dnd: Make the draggable much faster 2013-07-02 14:17:38 -04:00
endSessionDialog.js logout dialog: Show the correct text right away 2013-06-12 05:48:23 -04:00
environment.js
extensionDownloader.js
extensionSystem.js Disable all extensions in reverse order 2013-05-22 07:51:23 +02:00
grabHelper.js grabHelper: Remove explicitly having to select modal 2013-07-08 16:51:51 -04:00
ibusCandidatePopup.js
iconGrid.js
keyboard.js
layout.js layout: Don't use the input mode to block events to windows 2013-07-08 17:05:17 -04:00
lightbox.js
lookingGlass.js lookingGlass: Use uiGroup as parent instead of panelBox 2013-07-09 23:19:20 +02:00
magnifier.js
magnifierDBus.js
main.js global: Automatically unshape the stage X window when we take a modal 2013-07-08 17:05:17 -04:00
messageTray.js grabHelper: Remove explicitly having to select modal 2013-07-08 16:51:51 -04:00
modalDialog.js modalDialog: Minor coding style fix 2013-07-09 22:06:13 +02:00
notificationDaemon.js
osdWindow.js osdWindow: Make sure to clear the hide timeout 2013-06-24 17:23:43 -04:00
overview.js overview: Add coverPane to stack instead of BoxLayout 2013-07-09 23:19:20 +02:00
overviewControls.js overviewControls: Don't push window thumbs over when workspaces are invisible 2013-05-29 13:04:45 -04:00
panel.js Rework window / actor focus handling 2013-07-08 17:05:16 -04:00
panelMenu.js panelMenu: Close menu when hiding the corresponding button 2013-07-11 17:14:02 +02:00
pointerWatcher.js
popupMenu.js grabHelper: Remove explicitly having to select modal 2013-07-08 16:51:51 -04:00
remoteMenu.js remoteMenu: Minor code cleanups 2013-05-13 18:34:26 -04:00
remoteSearch.js search: Rename pushResults to setResults 2013-05-29 11:32:49 -04:00
runDialog.js
screencast.js screencast: Fix return value in case of invalid file template 2013-05-22 17:22:28 +02:00
screenShield.js ScreenShield: when the user goes idle, check for active before pushing a modal 2013-07-04 15:16:27 +02:00
screenshot.js
scripting.js
search.js search: Rename pushResults to setResults 2013-05-29 11:32:49 -04:00
searchDisplay.js searchDisplay: Remove the setResults/getResultsForDisplay dance 2013-05-29 11:32:50 -04:00
separator.js
sessionMode.js main: Pick up overridesSchema from sessionMode 2013-06-07 19:52:10 +02:00
shellDBus.js overview: Add focusSearch() method and export it over DBus 2013-05-17 18:27:17 +02:00
shellEntry.js shellEntry: Set the input-purpose property for password entries 2013-05-10 12:42:18 +02:00
shellMountOperation.js
slider.js slider: Add rounded ends to sliders 2013-06-25 09:49:44 -04:00
switcherPopup.js
tweener.js
unlockDialog.js userMenu: Move UserAvatarWidget into UserWidget 2013-06-06 14:00:37 -04:00
userMenu.js userMenu: Use addSettingsAction 2013-06-06 14:00:38 -04:00
userWidget.js userMenu: Move UserAvatarWidget into UserWidget 2013-06-06 14:00:37 -04:00
viewSelector.js searchDisplay: Remove the "provider meta" 2013-05-29 11:32:50 -04:00
wanda.js search: Rename pushResults to setResults 2013-05-29 11:32:49 -04:00
windowAttentionHandler.js
windowManager.js Fix launching apps / search results in new workspaces by dragging 2013-07-01 13:22:05 -04:00
workspace.js workspace: Remove unused zooming property 2013-06-29 11:56:37 +02:00
workspacesView.js overview: Really fix zoom animation 2013-06-26 18:06:54 +02:00
workspaceSwitcherPopup.js
workspaceThumbnail.js Fix launching apps / search results in new workspaces by dragging 2013-07-01 13:22:05 -04:00
xdndHandler.js Remove simple uses of ClutterRectangle 2013-05-09 09:49:12 -04:00