IDEs Support (IntelliJ Platform) | JetBrains

Radar

Total activity 7
Last activity August 09, 2023 14:20
Member since August 02, 2019 17:25
Following 0 users
Followed by 0 users
Votes 1
Subscriptions 2

Created August 09, 2023 14:20

Sorry, I should have gone to YouTrack first. https://youtrack.jetbrains.com/issue/IDEA-324382/2023.2-IDE-Window-frame-does-not-respect-GTK-Theme
- 2 votes
Created August 03, 2019 07:25

Hi, I was not aware of the way the abbreviations work. The whole concept of Live Templates is a bit confusing to me. One problem is that those settings sit under "Zen CSS" (why not just CSS, since ...
- 0 votes