isa/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
gnome-shell/js/ui
History
Didier Roche ce1bee727a extensionSystem: Allow disabling session mode extensions 
Trying to disable an extension that is enabled by the session mode
currently has no effect, which is clearly confusing. We could update
the various extension UIs to reflect that via sensitivity, but being
unable to configure extensions based on which session the user picked
at login isn't obvious either.

So instead, add a 'disabled-extensions' gsettings key to list extensions
that should not be enabled which takes precedence over 'enabled-extensions'
and can be used to disable session mode extensions.

https://bugzilla.gnome.org/show_bug.cgi?id=789852
2019-07-20 14:17:35 +00:00
..
components
cleanup: Use default parameters where appropriate
2019-07-12 18:54:49 +00:00
status
power: Make sure we fall back to the correct icon
2019-07-19 19:11:37 +00:00
accessDialog.js
cleanup: Prefer template strings
2019-07-05 11:32:31 +00:00
altTab.js
style: Stop using braces for single-line arrow functions
2019-07-02 12:17:46 +00:00
animation.js
style: Use camelCase for variable names
2019-07-01 23:44:11 +02:00
appDisplay.js
cleanup: Use default parameters where appropriate
2019-07-12 18:54:49 +00:00
appFavorites.js
cleanup: Prefer template strings
2019-07-05 11:32:31 +00:00
audioDeviceSelection.js
cleanup: Prefer template strings
2019-07-05 11:32:31 +00:00
background.js
background: Adjust to gnome-desktop API break
2019-07-20 12:26:28 +02:00
backgroundMenu.js
popupMenu: Make MenuManager to take an actor as parameter
2019-04-17 21:32:18 +00:00
barLevel.js
cleanup: Use default parameters where appropriate
2019-07-12 18:54:49 +00:00
boxpointer.js
cleanup: Use consistent switch indentation
2019-07-02 12:17:46 +00:00
calendar.js
calendar: Simplify code a bit
2019-07-12 18:54:49 +00:00
checkBox.js
cleanup: Use destructuring for imports from GI
2019-02-09 07:39:20 +01:00
closeDialog.js
style: Fix stray/missing spaces
2019-07-01 23:44:11 +02:00
ctrlAltTab.js
style: Stop using braces for single-line arrow functions
2019-07-02 12:17:46 +00:00
dash.js
style: Fix indentation errors
2019-07-02 12:17:46 +00:00
dateMenu.js
style: Stop using braces for single-line arrow functions
2019-07-02 12:17:46 +00:00
dialog.js
dialog: Use Object.assign() for default property value
2019-07-12 18:54:49 +00:00
dnd.js
cleanup: Use arrow functions for tweener callbacks
2019-07-02 12:17:46 +00:00
edgeDragAction.js
style: Stop using braces for single-line arrow functions
2019-07-02 12:17:46 +00:00
endSessionDialog.js
cleanup: Fix style nits in last commit
2019-07-08 20:15:15 +02:00
environment.js
cleanup: Prefer template strings
2019-07-05 11:32:31 +00:00
extensionDownloader.js
extensionSystem: Store extensions in a Map
2019-07-20 14:17:35 +00:00
extensionSystem.js
extensionSystem: Allow disabling session mode extensions
2019-07-20 14:17:35 +00:00
focusCaretTracker.js
cleanup: Prefer template strings
2019-07-05 11:32:31 +00:00
grabHelper.js
cleanup: Use Array.includes() to check for element existence
2019-07-01 21:28:52 +00:00
ibusCandidatePopup.js
style: Fix indentation errors
2019-07-02 12:17:46 +00:00
iconGrid.js
iconGrid: Make sure the style is updated before computing the layout
2019-07-15 23:00:34 +00:00
inhibitShortcutsDialog.js
cleanup: Use Array.includes() to check for element existence
2019-07-01 21:28:52 +00:00
kbdA11yDialog.js
cleanup: Use destructuring for imports from GI
2019-02-09 07:39:20 +01:00
keyboard.js
style: Stop using braces for single-line arrow functions
2019-07-02 12:17:46 +00:00
layout.js
cleanup: Use default parameters where appropriate
2019-07-12 18:54:49 +00:00
lightbox.js
Theme: update to sync with gtk Adwaita
2019-06-21 10:44:08 +02:00
locatePointer.js
style: Fix stray/missing spaces
2019-07-01 23:44:11 +02:00
lookingGlass.js
extensionSystem: Store extensions in a Map
2019-07-20 14:17:35 +00:00
magnifier.js
cleanup: Prefer template strings
2019-07-05 11:32:31 +00:00
magnifierDBus.js
cleanup: Prefer template strings
2019-07-05 11:32:31 +00:00
main.js
extensionSystem: Move extension loading into ExtensionManager
2019-07-20 14:17:35 +00:00
messageList.js
cleanup: Use default parameters where appropriate
2019-07-12 18:54:49 +00:00
messageTray.js
cleanup: Use default parameters where appropriate
2019-07-12 18:54:49 +00:00
modalDialog.js
cleanup: Use consistent style for GObject property definitions
2019-07-02 12:17:46 +00:00
mpris.js
cleanup: Prefer template strings
2019-07-05 11:32:31 +00:00
notificationDaemon.js
cleanup: Prefer template strings
2019-07-05 11:32:31 +00:00
osdMonitorLabeler.js
style: Fix indentation errors
2019-07-02 12:17:46 +00:00
osdWindow.js
cleanup: Use default parameters where appropriate
2019-07-12 18:54:49 +00:00
overview.js
style: Fix indentation errors
2019-07-02 12:17:46 +00:00
overviewControls.js
style: Fix indentation errors
2019-07-02 12:17:46 +00:00
padOsd.js
cleanup: Prefer template strings
2019-07-05 11:32:31 +00:00
pageIndicators.js
cleanup: Use destructuring for imports from GI
2019-02-09 07:39:20 +01:00
panel.js
cleanup: Use default parameters where appropriate
2019-07-12 18:54:49 +00:00
panelMenu.js
style: Fix stray/missing spaces
2019-07-01 23:44:11 +02:00
pointerA11yTimeout.js
style: Fix indentation errors
2019-07-02 12:17:46 +00:00
pointerWatcher.js
cleanup: Use destructuring for imports from GI
2019-02-09 07:39:20 +01:00
popupMenu.js
cleanup: Prefer template strings
2019-07-05 11:32:31 +00:00
remoteSearch.js
cleanup: Prefer template strings
2019-07-05 11:32:31 +00:00
ripples.js
cleanup: Use arrow functions for tweener callbacks
2019-07-02 12:17:46 +00:00
runDialog.js
cleanup: Prefer template strings
2019-07-05 11:32:31 +00:00
screencast.js
cleanup: Use destructuring for imports from GI
2019-02-09 07:39:20 +01:00
screenShield.js
cleanup: Prefer template strings
2019-07-05 11:32:31 +00:00
screenshot.js
style: Fix indentation errors
2019-07-02 12:17:46 +00:00
scripting.js
cleanup: Prefer template strings
2019-07-05 11:32:31 +00:00
search.js
search: Remove wrong additional argument for _createResultDisplay
2019-07-15 23:00:34 +00:00
sessionMode.js
style: Use space after catch
2019-07-01 23:44:11 +02:00
shellDBus.js
extensionSystem: Store extensions in a Map
2019-07-20 14:17:35 +00:00
shellEntry.js
style: Stop using braces for single-line arrow functions
2019-07-02 12:17:46 +00:00
shellMountOperation.js
cleanup: Prefer template strings
2019-07-05 11:32:31 +00:00
slider.js
style: Fix stray/missing semi-colons
2019-07-01 23:44:11 +02:00
switcherPopup.js
style: Stop using braces for single-line arrow functions
2019-07-02 12:17:46 +00:00
switchMonitor.js
style: Fix stray/missing spaces
2019-07-01 23:44:11 +02:00
tweener.js
cleanup: Prefer template strings
2019-07-05 11:32:31 +00:00
unlockDialog.js
cleanup: Use destructuring for imports from GI
2019-02-09 07:39:20 +01:00
userWidget.js
cleanup: Remove unused variables
2019-07-01 23:44:10 +02:00
viewSelector.js
style: Fix indentation errors
2019-07-02 12:17:46 +00:00
windowAttentionHandler.js
style: Stop using braces for single-line arrow functions
2019-07-02 12:17:46 +00:00
windowManager.js
workspaceSwitcherPopup: Support horizontal layout
2019-07-19 11:01:24 +02:00
windowMenu.js
sessionMode: add a property to disable window manager menus
2019-06-06 01:25:04 +00:00
workspace.js
workspace: Set offscreen redirect on window previews
2019-07-10 21:41:58 +00:00
workspacesView.js
workspacesView: Support horizontal layout
2019-07-19 11:01:24 +02:00
workspaceSwitcherPopup.js
workspaceSwitcherPopup: Support horizontal layout
2019-07-19 11:01:24 +02:00
workspaceThumbnail.js
workspaceThumbnails: Handle reordering of workspaces
2019-07-09 14:41:35 +02:00
xdndHandler.js
shell: Drop XDND initialization code
2019-07-03 16:37:15 +02:00