If the IDE buggy

Alexander Stolte · Dec 9, 2017

Nice Color-combination

NJDude · Dec 9, 2017

How's that a problem when you can change the theme color?

Alexander Stolte · Dec 9, 2017

NJDude said:
How's that a problem when you can change the theme color?

the red is wrong.

NJDude · Dec 9, 2017

Does it happen with another dark theme?

Alexander Stolte · Dec 9, 2017

NJDude said:
Does it happen with another dark theme?

I use only one topic

NJDude · Dec 9, 2017

What's the theme? I don't see that problem here.

Alexander Stolte · Dec 9, 2017

The colors overlap and the red should not be there because nothing should be red.

Erel · Dec 10, 2017

1. This is not the place to report bugs.
2. You should start a new thread in the bugs forum and explain how it can be reproduced.