For any ghostty users, here is a neat shader to put some stars in your window.
Demo: https://www.youtube.com/watch?v=1YpkuHVYMTc
Source: https://gist.github.com/rholak/0e023abb94856e5419db8d29d466ec10
Commit
94660fb
I was thinking of moving back to PhpStorm, why do you have to make it hard? 🙁
Just skip PStorm's terminal and run windows and use your own terminal instead, tiled at the bottom :)
commit 94660fb