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

IDEA-104377 TYPOs are not visible in commit dialog

Browse Source 
(cherry picked from commit 84dee1ec59835cae59c2e480c757eeb323687181)
This commit is contained in:
Konstantin Bulenkov
2013-04-02 13:55:00 +04:00
parent bb3d6efeff
commit 7c31613e35
1 changed files with 28 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
colorSchemes/src/colorSchemes/Darcula.xml
+28 -3
View File
@@ -151,14 +151,29 @@
<option name="EFFECT_TYPE" value="-1" />
</value>
</option>
<option name="CONSOLE_BLUE_OUTPUT">
<value>
<option name="FOREGROUND" value="5394ec" />
</value>
</option>
<option name="CONSOLE_CYAN_OUTPUT">
<value>
<option name="FOREGROUND" value="6969" />
</value>
</option>
<option name="CONSOLE_ERROR_OUTPUT">
<value>
<option name="FOREGROUND" value="ff6b68" />
</value>
</option>
<option name="CONSOLE_MAGENTA_OUTPUT">
<value>
<option name="FOREGROUND" value="983498" />
</value>
</option>
<option name="CONSOLE_NORMAL_OUTPUT">
<value>
<option name="FOREGROUND" value="f7f7f7" />
<option name="FOREGROUND" value="bbbbbb" />
</value>
</option>
<option name="CONSOLE_OUTPUT">
@@ -166,9 +181,14 @@
<option name="BACKGROUND" value="454545" />
</value>
</option>
<option name="CONSOLE_RED_OUTPUT">
<value>
<option name="FOREGROUND" value="ff6b68" />
</value>
</option>
<option name="CONSOLE_SYSTEM_OUTPUT">
<value>
<option name="FOREGROUND" value="a6a6a6" />
<option name="FOREGROUND" value="bbbbbb" />
</value>
</option>
<option name="CSS.COLOR">
@@ -888,6 +908,11 @@
<option name="FOREGROUND" value="d0d0ff" />
</value>
</option>
<option name="LOG_ERROR_OUTPUT">
<value>
<option name="FOREGROUND" value="ff6b68" />
</value>
</option>
<option name="List/map to object conversion">
<value>
<option name="FOREGROUND" value="e8bf6a" />
@@ -1478,7 +1503,7 @@
</option>
<option name="TYPO">
<value>
<option name="EFFECT_COLOR" value="505233" />
<option name="EFFECT_COLOR" value="867f27" />
<option name="EFFECT_TYPE" value="2" />
</value>
</option>