Skip to content

Instantly share code, notes, and snippets.

@jocelyn
Created November 12, 2008 13:50
Show Gist options
  • Save jocelyn/24157 to your computer and use it in GitHub Desktop.
Save jocelyn/24157 to your computer and use it in GitHub Desktop.
pref file to have dark theme for EiffelStudio (experimental)
<EIFFEL_DOCUMENT>
<PREFERENCE NAME="tools.diagram_tool.uml.uml_client_label_color" VALUE="0;0;0"/>
<PREFERENCE NAME="editor.general.colors.normal_text_color" VALUE="255;255;255"/>
<PREFERENCE NAME="editor.general.colors.number_background_color" VALUE="0;0;0"/>
<PREFERENCE NAME="tools.diagram_tool.uml.uml_cluster_iconified_fill_color" VALUE="255;255;255"/>
<PREFERENCE NAME="editor.general.colors.margin_separator_color" VALUE="192;192;192"/>
<PREFERENCE NAME="editor.eiffel.colors.object_text_color" VALUE="121;171;255"/>
<PREFERENCE NAME="editor.eiffel.colors.folder_background_color" VALUE="0;0;0"/>
<PREFERENCE NAME="tools.diagram_tool.uml.uml_cluster_name_area_color" VALUE="255;255;255"/>
<PREFERENCE NAME="debugger.colors.grid_foreground_color" VALUE="255;255;255"/>
<PREFERENCE NAME="editor.eiffel.colors.argument_text_color" VALUE="255;255;255"/>
<PREFERENCE NAME="editor.eiffel.colors.warning_background_color" VALUE="0;0;0"/>
<PREFERENCE NAME="debugger.colors.unsensitive_foreground_color" VALUE="150;150;150"/>
<PREFERENCE NAME="editor.eiffel.colors.indexing_tag_background_color" VALUE="0;0;0"/>
<PREFERENCE NAME="tools.diagram_tool.uml.uml_cluster_line_color" VALUE="0;0;0"/>
<PREFERENCE NAME="editor.eiffel.colors.local_background_color" VALUE="0;0;0"/>
<PREFERENCE NAME="tools.metric_tool.warning_background_color" VALUE="253;209;199"/>
<PREFERENCE NAME="editor.eiffel.colors.target_text_color" VALUE="255;255;255"/>
<PREFERENCE NAME="tools.diagram_tool.uml.uml_class_features_color" VALUE="0;127;0"/>
<PREFERENCE NAME="editor.general.colors.comments_text_color" VALUE="81;215;151"/>
<PREFERENCE NAME="tools.diagram_tool.uml.uml_cluster_name_color" VALUE="0;0;0"/>
<PREFERENCE NAME="editor.eiffel.colors.generic_background_color" VALUE="0;0;0"/>
<PREFERENCE NAME="editor.eiffel.colors.assertion_tag_background_color" VALUE="0;0;0"/>
<PREFERENCE NAME="editor.eiffel.colors.argument_background_color" VALUE="0;0;0"/>
<PREFERENCE NAME="editor.general.colors.cursor_line_highlight_color" VALUE="255;128;128"/>
<PREFERENCE NAME="editor.general.colors.normal_background_color" VALUE="0;0;0"/>
<PREFERENCE NAME="tools.diagram_tool.uml.uml_inheritance_color" VALUE="0;0;0"/>
<PREFERENCE NAME="tools.diagram_tool.bon.bon_inheritance_color" VALUE="230;0;0"/>
<PREFERENCE NAME="editor.eiffel.colors.feature_background_color" VALUE="0;0;0"/>
<PREFERENCE NAME="editor.eiffel.colors.target_text_background_color" VALUE="0;0;0"/>
<PREFERENCE NAME="tools.diagram_tool.uml.uml_class_properties_color" VALUE="127;0;0"/>
<PREFERENCE NAME="tools.search_tool.none_result_keyword_field_background_color" VALUE="255;175;138"/>
<PREFERENCE NAME="editor.eiffel.colors.folder_text_color" VALUE="200;149;64"/>
<PREFERENCE NAME="editor.general.colors.margin_background_color" VALUE="0;0;0"/>
<PREFERENCE NAME="editor.eiffel.colors.warning_text_color" VALUE="255;151;66"/>
<PREFERENCE NAME="editor.eiffel.colors.cluster_background_color" VALUE="0;0;0"/>
<PREFERENCE NAME="tools.class_browser.odd_row_background_color" VALUE="65;65;65"/>
<PREFERENCE NAME="editor.general.colors.number_text_color" VALUE="183;111;255"/>
<PREFERENCE NAME="editor.general.colors.spaces_text_color" VALUE="255;255;255"/>
<PREFERENCE NAME="editor.eiffel.colors.indexing_tag_text_color" VALUE="239;156;33"/>
<PREFERENCE NAME="tools.diagram_tool.uml.uml_client_color" VALUE="0;0;0"/>
<PREFERENCE NAME="editor.general.colors.operator_background_color" VALUE="0;0;0"/>
<PREFERENCE NAME="tools.diagram_tool.bon.bon_class_generics_color" VALUE="0;0;0"/>
<PREFERENCE NAME="editor.eiffel.colors.reserved_text_color" VALUE="255;45;45"/>
<PREFERENCE NAME="editor.general.colors.comments_background_color" VALUE="0;0;0"/>
<PREFERENCE NAME="tools.diagram_tool.bon.bon_class_uncompiled_fill_color" VALUE="234;234;234"/>
<PREFERENCE NAME="tools.diagram_tool.bon.bon_client_label_color" VALUE="0;0;0"/>
<PREFERENCE NAME="debugger.colors.grid_background_color" VALUE="0;0;0"/>
<PREFERENCE NAME="editor.general.colors.keyword_text_color" VALUE="96;200;255"/>
<PREFERENCE NAME="tools.diagram_tool.bon.bon_class_name_color" VALUE="17;3;80"/>
<PREFERENCE NAME="editor.eiffel.colors.cluster_text_color" VALUE="170;121;55"/>
<PREFERENCE NAME="editor.eiffel.colors.error_background_color" VALUE="0;0;0"/>
<PREFERENCE NAME="debugger.colors.row_highlight_background_color" VALUE="249;118;21"/>
<PREFERENCE NAME="tools.diagram_tool.bon.bon_client_color" VALUE="69;166;11"/>
<PREFERENCE NAME="tools.metric_tool.highlight_background_color" VALUE="255;255;170"/>
<PREFERENCE NAME="editor.general.colors.selection_background_color" VALUE="0;0;181"/>
<PREFERENCE NAME="tools.diagram_tool.uml.uml_class_name_color" VALUE="0;25;127"/>
<PREFERENCE NAME="tools.diagram_tool.bon.bon_cluster_line_color" VALUE="100;97;28"/>
<PREFERENCE NAME="tools.diagram_tool.bon.bon_class_fill_color" VALUE="204;204;253"/>
<PREFERENCE NAME="editor.eiffel.colors.local_text_color" VALUE="255;255;255"/>
<PREFERENCE NAME="editor.eiffel.colors.class_background_color" VALUE="0;0;0"/>
<PREFERENCE NAME="editor.general.colors.line_number_text_color" VALUE="0;255;0"/>
<PREFERENCE NAME="editor.general.colors.spaces_background_color" VALUE="0;0;0"/>
<PREFERENCE NAME="tools.diagram_tool.bon.bon_cluster_name_area_color" VALUE="254;253;203"/>
<PREFERENCE NAME="editor.eiffel.colors.assertion_tag_text_color" VALUE="255;255;255"/>
<PREFERENCE NAME="debugger.expanded_display_background_color" VALUE="210;210;210"/>
<PREFERENCE NAME="tools.diagram_tool.bon.bon_cluster_name_color" VALUE="0;0;0"/>
<PREFERENCE NAME="tools.diagram_tool.uml.uml_class_fill_color" VALUE="255;255;255"/>
<PREFERENCE NAME="editor.eiffel.colors.object_background_color" VALUE="0;0;0"/>
<PREFERENCE NAME="editor.eiffel.colors.breakpoint_background_color" VALUE="212;208;200"/>
<PREFERENCE NAME="debugger.colors.row_replayable_background_color" VALUE="4;143;227"/>
<PREFERENCE NAME="tools.diagram_tool.bon.bon_cluster_iconified_fill_color" VALUE="240;240;255"/>
<PREFERENCE NAME="tools.diagram_tool.diagram_background_color" VALUE="255;255;255"/>
<PREFERENCE NAME="editor.eiffel.colors.feature_text_color" VALUE="0;249;37"/>
<PREFERENCE NAME="editor.eiffel.colors.error_text_color" VALUE="255;0;0"/>
<PREFERENCE NAME="interface.development_window.progress_bar_color" VALUE="0;0;128"/>
<PREFERENCE NAME="tools.diagram_tool.uml.uml_generics_color" VALUE="180;0;0"/>
<PREFERENCE NAME="editor.general.colors.highlight_color" VALUE="50;250;30"/>
<PREFERENCE NAME="editor.general.colors.operator_text_color" VALUE="255;113;113"/>
<PREFERENCE NAME="editor.general.colors.focus_out_selection_background_color" VALUE="69;90;118"/>
<PREFERENCE NAME="editor.eiffel.colors.class_text_color" VALUE="96;200;255"/>
<PREFERENCE NAME="tools.class_browser.even_row_background_color" VALUE="0;0;0"/>
<PREFERENCE NAME="editor.general.colors.string_text_color" VALUE="81;215;151"/>
<PREFERENCE NAME="tools.diagram_tool.uml.uml_class_feature_section_color" VALUE="0;0;0"/>
<PREFERENCE NAME="editor.general.colors.keyword_background_color" VALUE="0;0;0"/>
<PREFERENCE NAME="editor.eiffel.colors.reserved_background_color" VALUE="0;0;0"/>
<PREFERENCE NAME="editor.general.colors.string_background_color" VALUE="0;0;0"/>
<PREFERENCE NAME="editor.general.colors.selection_text_color" VALUE="255;255;128"/>
<PREFERENCE NAME="editor.eiffel.colors.generic_text_color" VALUE="255;0;0"/>
</EIFFEL_DOCUMENT>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment