3 ms·You mean https://www.jetbrains.com/idea/ https://www.jetbrains.com/idea/ ?by sytse 11y agoYou mean https://www.jetbrains.com/idea/ https://www.jetbrains.com/idea/ ?