mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Make Remote Host colors IDE theme dependent, not editor theme dependent +review CR-PS-9
(cherry picked from commit c07d007)
This commit is contained in:
@@ -33,7 +33,6 @@
|
||||
<option name="NOTIFICATION_BACKGROUND" value="5c5c42" />
|
||||
<option name="READONLY_FRAGMENT_BACKGROUND" value="" />
|
||||
<option name="RECURSIVE_CALL_ATTRIBUTES" value="574300" />
|
||||
<option name="REMOTE_HOST_MAPPED_BACKGROUND_KEY" value="164716" />
|
||||
<option name="RIGHT_MARGIN_COLOR" value="4d4d4d" />
|
||||
<option name="SELECTED_INDENT_GUIDE" value="505050" />
|
||||
<option name="SELECTED_TEARLINE_COLOR" value="787878" />
|
||||
|
||||
Reference in New Issue
Block a user