get rid of empty space when a smaller tab selected
[idea/community.git] / build.txt
1 146.SNAPSHOT