gnome-shell/js/ui
Georges Basile Stavracas Neto 00ec8ca989
allView: Redisplay on folder changes
Now that redisplaying is a lightweight operation that only
adds and removes what changed, we can not be concerned about
redisplaying on folder changes.

Redisplaying will be necessary when custom order in the app
grid is implemented, in order to update not only which icons
are hidden, but also their position.

Call _redisplay() in AllView when folders change.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/645
2019-08-05 21:20:31 -03:00
..
components cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
status osdWindow: Use float values as input for osdWindow 2019-07-28 17:27:53 +02:00
accessDialog.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
altTab.js cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00
animation.js cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00
appDisplay.js allView: Redisplay on folder changes 2019-08-05 21:20:31 -03:00
appFavorites.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
audioDeviceSelection.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
background.js cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00
backgroundMenu.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
barLevel.js barLevel: Return when trying to set value to already used value 2019-07-28 17:27:53 +02:00
boxpointer.js cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00
calendar.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
checkBox.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
closeDialog.js cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00
ctrlAltTab.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
dash.js cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00
dateMenu.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
dialog.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
dnd.js cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00
edgeDragAction.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
endSessionDialog.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
environment.js st: Move slow-down-factor into settings 2019-08-01 21:13:28 +00:00
extensionDownloader.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
extensionSystem.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
focusCaretTracker.js cleanup: Prefer template strings 2019-07-05 11:32:31 +00:00
grabHelper.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
ibusCandidatePopup.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
iconGrid.js cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00
inhibitShortcutsDialog.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
kbdA11yDialog.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
keyboard.js cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00
layout.js cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00
lightbox.js cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00
locatePointer.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
lookingGlass.js cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00
magnifier.js cleanup: Mark unused (but useful) variables as ignored 2019-07-24 00:28:45 +02:00
magnifierDBus.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
main.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
messageList.js cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00
messageTray.js cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00
modalDialog.js cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00
mpris.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
notificationDaemon.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
osdMonitorLabeler.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
osdWindow.js cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00
overview.js cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00
overviewControls.js cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00
padOsd.js style: Disable camelcase rule for GObject properties 2019-07-24 00:28:45 +02:00
pageIndicators.js cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00
panel.js cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00
panelMenu.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
pointerA11yTimeout.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
pointerWatcher.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
popupMenu.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
remoteSearch.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
ripples.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
runDialog.js cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00
screencast.js cleanup: Use destructuring for imports from GI 2019-02-09 07:39:20 +01:00
screenShield.js cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00
screenshot.js cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00
scripting.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
search.js cleanup: Mark unused (but useful) variables as ignored 2019-07-24 00:28:45 +02:00
sessionMode.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
shellDBus.js shellDBus: Use floats instead of percentages for OSD levels 2019-07-28 17:27:53 +02:00
shellEntry.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
shellMountOperation.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
slider.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
switcherPopup.js cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00
switchMonitor.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
tweener.js st: Move slow-down-factor into settings 2019-08-01 21:13:28 +00:00
unlockDialog.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
userWidget.js userWidget: Handle non-square icons gracefully 2019-07-29 16:16:22 +00:00
viewSelector.js cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00
windowAttentionHandler.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
windowManager.js cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00
windowMenu.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
workspace.js cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00
workspacesView.js cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00
workspaceSwitcherPopup.js cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00
workspaceThumbnail.js cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00
xdndHandler.js cleanup: Mark unused (but useful) variables as ignored 2019-07-24 00:28:45 +02:00