Open tobiastimm opened 3 years ago
The UI customization should be converted properly to the JetBrains IDEA theme.
The UI customization should be converted properly to the JetBrains IDEA theme.