MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

FIXED WI-32618 The colours for elements in the theme change on startup.

Browse Source
This commit is contained in:
Rustam Vishnyakov
2016-08-03 14:26:35 +03:00
parent 030c5290c7
commit f73dbb431b
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-resources/src/DefaultColorSchemesManager.xml
+3
View File
@@ -127,6 +127,9 @@
<option name="FONT_TYPE" value="3"/>
</value>
</option>
<option name="DEFAULT_PARAMETER">
<value/>
</option>
<option name="DEFAULT_STATIC_METHOD">
<value>
<option name="FONT_TYPE" value="2"/>