Florian Müllner f250643385 style: Use space after catch ...

We are currently inconsistent with whether or not to put a space
after catch clauses. While the predominant style is to omit it,
that's inconsistent with the style we use for any other statement.
There's not really a good reason to stick with it, so switch to
the style gjs/eslint default to.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/607

2019-07-01 23:44:11 +02:00

..

config.js.in

fileUtils: Add helper for loading D-Bus XML from resource

2018-09-17 07:34:49 +00:00

extensionUtils.js

style: Use space after catch

2019-07-01 23:44:11 +02:00

fileUtils.js

cleanup: Remove unused variables

2019-07-01 23:44:10 +02:00

gnomeSession.js

cleanup: Clean up unused imports

2019-02-09 05:05:07 +01:00

history.js

cleanup: Port non-GObject classes to JS6 classes

2019-01-25 14:02:44 +00:00

ibusManager.js

style: Use space after catch

2019-07-01 23:44:11 +02:00

inputMethod.js

inputMethod: Handle OSK hiding after unfocus

2019-03-04 18:24:38 +00:00

introspect.js

introspect: Include sandboxed-app-id as well

2019-05-16 13:02:08 +00:00

jsParse.js

cleanup: Remove unneeded escapes in regex

2019-07-01 23:44:10 +02:00

keyboardManager.js

cleanup: Use Array.includes() to check for element existence

2019-07-01 21:28:52 +00:00

loginManager.js

style: Use space after catch

2019-07-01 23:44:11 +02:00

meson.build

networkAgent: Pick up VPN service dir from pkg-config

2018-01-22 08:44:19 +01:00

modemManager.js

modemManager: improve check for CDMA system identifier

2019-05-27 08:36:05 -07:00

objectManager.js

style: Use space after catch

2019-07-01 23:44:11 +02: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: Clean up unused imports

2019-02-09 05:05:07 +01:00

systemActions.js

systemActions: Only do prefix matches

2019-05-15 17:20:21 +00:00

util.js

style: Use space after catch

2019-07-01 23:44:11 +02:00

weather.js

style: Use space after catch

2019-07-01 23:44:11 +02:00