GitHub repository: krasa/EditorGroups
Primary language: Java
Created: 2018-05-16T21:41:10Z
Description: IntelliJ plugin prototype of https://youtrack.jetbrains.com/issue/IDEA-12130#comment=27-2838171