gnome-shell/js/misc
Florian Müllner 93425b0500 extensionUtils: Include some more helper functions
Those functions originated in gnome-shell-extension's Convenience
module which is copied by almost every extension out there. Let's
make people's life just a little bit easier by including the code
ourselves.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/150
2019-02-06 19:52:21 +01: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: Include some more helper functions 2019-02-06 19:52:21 +01:00
fileUtils.js cleanup: Remove obsolete Lang imports 2019-01-22 21:33:46 +00:00
gnomeSession.js cleanup: Remove obsolete Lang imports 2019-01-22 21:33:46 +00:00
history.js cleanup: Port non-GObject classes to JS6 classes 2019-01-25 14:02:44 +00:00
ibusManager.js cleanup: Port non-GObject classes to JS6 classes 2019-01-25 14:02:44 +00:00
inputMethod.js cleanup: Port GObject classes to JS6 classes 2019-01-25 14:02:44 +00:00
introspect.js cleanup: Port non-GObject classes to JS6 classes 2019-01-25 14:02:44 +00:00
jsParse.js cleanup: Use arrow notation for anonymous functions 2018-02-21 13:55:00 +00:00
keyboardManager.js cleanup: Port non-GObject classes to JS6 classes 2019-01-25 14:02:44 +00:00
loginManager.js cleanup: Port non-GObject classes to JS6 classes 2019-01-25 14:02:44 +00:00
meson.build networkAgent: Pick up VPN service dir from pkg-config 2018-01-22 08:44:19 +01:00
modemManager.js cleanup: Port non-GObject classes to JS6 classes 2019-01-25 14:02:44 +00:00
objectManager.js objectManager: Fix index mix-up 2019-02-05 02:21:40 +00:00
params.js cleanup: Use method syntax 2018-02-21 13:54:58 +00:00
permissionStore.js dbus: Move all interface descriptions into the resource 2018-09-17 07:34:49 +00:00
smartcardManager.js cleanup: Port non-GObject classes to JS6 classes 2019-01-25 14:02:44 +00:00
systemActions.js cleanup: Port GObject classes to JS6 classes 2019-01-25 14:02:44 +00:00
util.js cleanup: Port GObject classes to JS6 classes 2019-01-25 14:02:44 +00:00
weather.js weather: Change Weather app ID 2019-01-31 12:33:10 -05:00