Vojtěch Krása
Vojtěch Krása
fixed.
I have asked on the forum, but it will most probably need a change in the platform. Or maybe it would be better to have a vertical bar on the...
I just made it as fast as possible, the panel is created under 1ms, but it still flickers, because it is executed asynchronously. Agree on those 2 other things. @idea.title...
Good news: it will not flicker in 2018.2
I have made it compatible with 2018.1, not sure how well it will work. Now it is pending JetBrains approval. Or you can install it from here https://github.com/krasa/EditorGroups/releases
Could you add a bit more detail? How should `empty` type work?
Oh yeah, that makes sense. Btw you could enable File | Settings | Editor | General | Editor Tabs | Hide tabs if there is no space
I noticed something strange on Win 10 too, maybe the same thing, don't remember exactly. So I changed the switching to use https://github.com/JetBrains/intellij-community/blob/master/platform/platform-impl/src/com/intellij/openapi/wm/impl/ProjectWindowAction.java#L108-L139 instead of a custom code - which...
Platform issue https://youtrack.jetbrains.com/issue/IDEA-237889
I don't think it is possible for a console.