3 ms·
I think AceJump is your friend here. https://plugins.jetbrains.com/plugin/7086?pr= https://plugins.jetbrains.com/plugin/7086?pr=
by unculture 11y ago
I think AceJump is your friend here.
https://plugins.jetbrains.com/plugin/7086?pr= https://plugins.jetbrains.com/plugin/7086?pr=