Theme the window control buttons. (Warning: Highly Experimental)
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
Don't use print in extensions. As I gave you the link, use `console.*` variants: https://gjs.guide/extensions/upgrading/gnome-shell-45.html#logging
Custom Window Controls