isa/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
gnome-shell/po/POTFILES.skip

7 lines
276 B
Plaintext
Raw Normal View History

Update POTFILES.skip It silences false positives on https://l10n.gnome.org/module/gnome-shell/ https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1387
2020-08-01 14:31:42 +02:00
data/org.gnome.Shell@wayland.service.in
data/org.gnome.Shell@x11.service.in
init: Set console log domain GJS added a console module that extensions may start using. To ensure that extensions using console.log() and similar functions don't show up as 'Gjs-Console' in users' system logs, we should call setConsoleLogdomain() with 'GNOME Shell'. This GJS API addition is only accessible using ECMAScript Modules (ESM), this commit moves shell startup to a small init.js module and adapts CI jobs to either handle or ignore it. We can drop the .jscheckignore file when future versions of SpiderMonkey allow for compile checks without validating module specifiers. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1958>
2021-08-20 20:42:27 -05:00
js/ui/init.js
extensions-tool: Add small indicator template Adding an additional icon to the top bar is one of the more common patterns used by extensions. Make this easier by providing a template for it. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/812
2019-11-06 10:44:28 +01:00
subprojects/extensions-tool/src/templates/indicator/extension.js
extensions-tool/create: Optionally include prefs We currently only create boilerplate code for the actual extension. Now that libadwaita has largely standardized preference UIs, it makes sense to allow creating the prefs.js boilerplate as well. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2889>
2023-08-14 01:08:56 +02:00
subprojects/extensions-tool/src/templates/prefs.js
extensions-tool: Add quick settings template Extending quick settings has become popular enough to justify a template. Add a small indicator+quick-item example that exercises the previously added API. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2894>
2023-08-14 17:51:35 +02:00
subprojects/extensions-tool/src/templates/quick-settings/extension.js
Reference in New Issue Copy Permalink