gnome-shell/js
Sergio Costas 8b3f74bb7d workspaceAnimation: Make WorkspaceGroup public
The WorkspaceGroup class in defined as CONST, which means that,
strictly speaking, is inaccessible from outside the file
workspaceAnimation.js. But Desktop Icons NG needs access to it.

Although the current Javascript engine "tolerates" this access,
a warning message is shown in the log advertising that it's
incorrect, and that although it is still allowed, the code
should be fixed.

This patch changes the definition from CONST to VAR to allow
accessing it from extensions.

jk

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2068>
2021-12-22 18:27:07 +00:00
..
dbusServices dbusServices/extensions: Only allow one dialog at a time 2021-10-30 21:50:47 +00:00
gdm gdm: Remove pending fingerprint verification failure 2021-04-28 17:23:01 +00:00
misc util: Properly handle markup in highlighter 2021-12-22 16:47:18 +00:00
perf perf: Add basic run tests 2020-08-12 15:43:39 +00:00
portalHelper portalHelper: Replace Soup.URI with GLib.Uri 2021-08-25 01:54:07 +02:00
ui workspaceAnimation: Make WorkspaceGroup public 2021-12-22 18:27:07 +00:00
js-resources.gresource.xml init: Set console log domain 2021-09-01 14:55:47 +00:00
meson.build extensions-app: Move Extensions app to new subproject 2020-03-27 23:33:30 +00:00
portal-resources.gresource.xml js: Remove unused files from resources 2020-03-09 13:18:48 +00:00