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

Remove font preferences from Default and Darcula schemes

Browse Source
This commit is contained in:
Rustam Vishnyakov
2017-04-27 12:54:19 +03:00
parent 7122ad8fa5
commit e720a79919
1 changed files with 0 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-resources/src/DefaultColorSchemesManager.xml
-6
View File
@@ -1,8 +1,5 @@
<component name="DefaultColorSchemesManager">
<scheme name="Default" default_scheme="true" version="1">
<option name="LINE_SPACING" value="1.0"/>
<option name="EDITOR_FONT_SIZE" value="12"/>
<option name="EDITOR_FONT_NAME" value="Monospaced" mac="Menlo" linux="DejaVu Sans Mono"/>
<colors>
<option name="SELECTION_BACKGROUND" value="5974ab"/>
@@ -1063,9 +1060,6 @@
</scheme>
<scheme name="Darcula" version="1" parent_scheme="Default" default_scheme="true">
<option name="LINE_SPACING" value="1.0" />
<option name="EDITOR_FONT_SIZE" value="12" linux="14"/>
<option name="EDITOR_FONT_NAME" value="Monospaced" mac="Menlo" linux="Source Code Pro"/>
<colors>
<option name="ADDED_LINES_COLOR" value="384C38" deuteranopia="355237" protanopia="355237"/>
<option name="MODIFIED_LINES_COLOR" value="374752" deuteranopia="345a67" protanopia="345a67"/>