So I tried to make an extension, which fixes this issue: https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/4153 by setting WorkspacesView.SECONDARY_WORKSPACE_SCALE
to 1. As I understand, it cannot be overwritten, because it defined as const
: https://gitlab.gnome.org/GNOME/gnome-shell/-/blob/main/js/ui/workspacesView.js
I’ve tried something like:
const WorkspacesView = imports.ui.workspacesView;
var Mod = class extends mod.Base {
enable() {
WorkspacesView.SECONDARY_WORKSPACE_SCALE=1;
And got the error
TypeError: "SECONDARY_WORKSPACE_SCALE" is read-only
Is it possible to get access to this value? Or do I do something wrong?