I have found the source code of gnome-shell UI js files on the Debian website:
https://sources.debian.org/src/gnome-shell/3.38.2-1/js/ui/
Then I have also found this answer here, which points out that this path/file existed in Ubuntu some time ago:
/usr/share/gnome-shell/js/ui/windowManager.js
Now however, I don't see a js
subdirectory in /usr/share/gnome-shell/
.
I have searched the entire /
partition for "lightbox.js" and "windowManager.js", but none were found.
Where can I find these files, and what hurdles do I need to overcome if I want to change the value of some hardcoded variables in there?