remove duplicated option that overrides option with color blinness attributes
authorSergey Malenkov <sergey.malenkov@jetbrains.com>
Thu, 3 Sep 2015 13:52:45 +0000 (16:52 +0300)
committerSergey Malenkov <sergey.malenkov@jetbrains.com>
Thu, 3 Sep 2015 14:02:20 +0000 (17:02 +0300)
platform/platform-resources/src/DefaultColorSchemesManager.xml

index c22759c23e7dd4d570167fa52afdb5e67bd82d24..3c15a72d673a9886b6845b679abf73eaa808ca4e 100644 (file)
 
       <option name="ANNOTATION_NAME_ATTRIBUTES">
         <value>
-          <option name="FOREGROUND" deuteranopia="55ff" protanopia="55ff"/>
+          <option name="FOREGROUND" value="808000" deuteranopia="55ff" protanopia="55ff"/>
           <option name="BACKGROUND"/>
           <option name="EFFECT_COLOR"/>
-          <option name="EFFECT_TYPE" deuteranopia="1" protanopia="1"/>
+          <option name="EFFECT_TYPE" value="1" deuteranopia="1" protanopia="1"/>
           <option name="FONT_TYPE" deuteranopia="bold" protanopia="bold"/>
         </value>
       </option>
           <option name="EFFECT_TYPE" value="0"/>
         </value>
       </option>
-      <option name="ANNOTATION_NAME_ATTRIBUTES">
-        <value>
-          <option name="FOREGROUND" value="808000" />
-          <option name="BACKGROUND" />
-          <option name="FONT_TYPE" />
-          <option name="EFFECT_COLOR" />
-          <option name="EFFECT_TYPE" value="1" />
-          <option name="ERROR_STRIPE_COLOR" />
-        </value>
-      </option>
 
       <option name="EXECUTIONPOINT_ATTRIBUTES">
         <value>