4 Commits

Author	SHA1	Message	Date
Florian Müllner	563d7770d3	lint: Sync with gnome-shell ... gnome-shell started transitioning to gjs' object spacing rule, i.e. `{foo: 42}` instead of `{ foo: 42 }`. We have a much smaller code base than the shell and aren't using a secondary "allowed-but-deprecated" configuration that allows a gradual transition, so just pull the switch and update to the new style. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/240>	2022-08-20 19:00:32 +02:00
Florian Müllner	d0b9c9b54a	cleanup: Document functions ... gjs now enforces this in its eslint configuration. Adding type information generally is a good idea, so add appropriate comments to public functions before picking up that configuration change. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/180>	2021-08-13 04:48:22 +02:00
Florian Müllner	5b2bdd138a	user-themes: Support session mode styles ... Session mode stylesheets are installed in gnome-shell's theme directory instead of a subdirectory of the global themes direc- tory. https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/118	2020-04-17 16:33:03 +00:00
Florian Müllner	739b1e11a0	user-themes: Add preference widget ... While we don't endorse or support 3rd party theming, the extension exists and is actively used. However right now the most convenient way of setting it up is by installing Tweak Tool; give users an alternative by providing a simple settings dialog ourselves. https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/117	2020-04-12 04:13:25 +02:00