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

Sorted options

Browse Source
This commit is contained in:
Andrey Vlasovskikh
2014-05-16 19:24:07 +04:00
parent 5546e02d1b
commit ae3fce2920
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
colorSchemes/src/colorSchemes/github.xml
+6 -6
View File
@@ -3,15 +3,15 @@
<option name="EDITOR_FONT_SIZE" value="12" />
<option name="EDITOR_FONT_NAME" value="Menlo" />
<colors>
<option name="CONSOLE_BACKGROUND_KEY" value="F8F8FF" />
<option name="INDENT_GUIDE" value="BFBFBF" />
<option name="SELECTION_BACKGROUND" value="BCD5FA" />
<option name="CARET_ROW_COLOR" value="e6e6ed" />
<option name="WHITESPACES" value="BFBFBF" />
<option name="CARET_COLOR" value="000000" />
<option name="CARET_ROW_COLOR" value="e6e6ed" />
<option name="CONSOLE_BACKGROUND_KEY" value="F8F8FF" />
<option name="GUTTER_BACKGROUND" value="F8F8FF" />
<option name="INDENT_GUIDE" value="BFBFBF" />
<option name="LINE_NUMBERS_COLOR" value="000000" />
<option name="SELECTED_INDENT_GUIDE" value="BFBFBF" />
<option name="GUTTER_BACKGROUND" value="F8F8FF" />
<option name="SELECTION_BACKGROUND" value="BCD5FA" />
<option name="WHITESPACES" value="BFBFBF" />
</colors>
<attributes>
<option name="BAD_CHARACTER">