0a9e1b4173
It is true that delete is a javascript keyword, but that doesn't prevent it from being used as method name - there are event built-in types like Map or Set with delete() methods! So if that hack was ever needed, this hasn't been the case for years now; just removed the hack now. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/862 |
||
---|---|---|
.. | ||
config.js.in | ||
extensionUtils.js | ||
fileUtils.js | ||
gnomeSession.js | ||
history.js | ||
ibusManager.js | ||
inputMethod.js | ||
introspect.js | ||
jsParse.js | ||
keyboardManager.js | ||
loginManager.js | ||
meson.build | ||
modemManager.js | ||
objectManager.js | ||
params.js | ||
permissionStore.js | ||
smartcardManager.js | ||
systemActions.js | ||
util.js | ||
weather.js |