I want to change the MAX_THUMBNAILS setting. Looking at this thread here
I tried editing the file /usr/lib/gnome-shell/libgnome-shell.so but didn’t see the symbol there. Is it encoded into in a different library?
The command
The extension should be in /usr/share/gnome-shell/extensions/workspace-indicator@gnome-shell-extensions.gcampax.github.com or ~/.local/share/gnome-shell/extensions/workspace-indicator@gnome-shell-extensions.gcampax.github.com, depending on how you installed it.
Keep in mind that updates to the extension will overwrite your changes so you will either have to re-apply them again or create a copy of the extension with a different name (make sure to also adjust the metadata.json as well as the directory name).
One thing I notice is that, inside the dconf editor, I can go to
/org/gnome/shell/extensions
but there’s no entry for gcampax or workspace-indicator there.
I looked in the other sub-folders but didn’t see anything similar there either.
I was wondering if disabling/enabling the extension would enable the edit that I made.