Fork me on GitHub
#portal
<
2021-11-28
>
xceno13:11:01

Others already said it, but I want to join the choir. I just discovered that portal now has an intellij plugin and the difference it makes in my workflow is insane! Thank you so much! 🎉

1
❤️ 1
Lukas Domagala16:11:05

@U012ADU90SW is it just so you don’t have to hunt for the window, or is there anything in particular it helps with?

xceno09:11:54

It started mainly with having portal directly inside the IDE, below my main repl, yes. I need lot's of screen space for my project and previously I always had to go out of my IDE, switch over to portal or reveal, do a thing there, go back, etc. It became really tedious after a while. But having it right there, led me to automate a lot of stuff around it yesterday. So now I can stay inside intellij, use all my https://github.com/MarcoIeni/intellimacs keybindings, or make new ones to control portal. So most of the time I don't even have to click inside the portal window now. I realize this can all be done to portal over the wire, but I wouldn't have thought of it otherwise