gnome-shell/js/misc
Georges Basile Stavracas Neto d0690c3952 util: Add wiggle helper
Add Util.wiggle(), which accepts the wiggle offset, duration,
and number of times, as parameters.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/768
2019-10-18 11:25:45 +00:00
..
config.js.in fileUtils: Add helper for loading D-Bus XML from resource 2018-09-17 07:34:49 +00:00
extensionUtils.js extensionUtils: Check version variable for undefined first 2019-09-12 10:24:49 +00:00
fileUtils.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
gnomeSession.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
history.js cleanup: Remove trailing spaces 2019-09-15 16:02:45 +02:00
ibusManager.js ibusManager: Cancel the preload engines timeout on clear 2019-10-02 18:19:53 +02:00
inputMethod.js ibusManager, inputMethod: Cancel async ibus calls chain on disconnect 2019-10-02 18:19:53 +02:00
introspect.js introspect: Check whitelist also for GetRunningWindows() 2019-09-18 16:17:25 +00:00
jsParse.js cleanup: Disambiguate assignments in arrow functions 2019-09-15 16:02:45 +02:00
keyboardManager.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
loginManager.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
meson.build networkAgent: Pick up VPN service dir from pkg-config 2018-01-22 08:44:19 +01:00
modemManager.js cleanup: Fix up "special" comments 2019-09-15 16:02:45 +02:00
objectManager.js cleanup: Prefer template strings 2019-07-05 11:32:31 +00:00
params.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
permissionStore.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
smartcardManager.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
systemActions.js cleanup: Avoid unnecessary parentheses in arrow functions 2019-09-15 16:02:45 +02:00
util.js util: Add wiggle helper 2019-10-18 11:25:45 +00:00
weather.js weather: Pick up original settings values 2019-08-07 18:53:41 +00:00