85 -- "insert uniquely completed abbreviation immediately into buffer" |
85 -- "insert uniquely completed abbreviation immediately into buffer" |
86 |
86 |
87 |
87 |
88 section "Rendering of Document Content" |
88 section "Rendering of Document Content" |
89 |
89 |
90 option outdated_color : string = "EEE3E3FF" |
90 option outdated_color : string = "EEE3E3FF" for color_dialog |
91 option unprocessed_color : string = "FFA0A0FF" |
91 option unprocessed_color : string = "FFA0A0FF" for color_dialog |
92 option unprocessed1_color : string = "FFA0A032" |
92 option unprocessed1_color : string = "FFA0A032" for color_dialog |
93 option running_color : string = "610061FF" |
93 option running_color : string = "610061FF" for color_dialog |
94 option running1_color : string = "61006164" |
94 option running1_color : string = "61006164" for color_dialog |
95 option bullet_color : string = "000000FF" |
95 option bullet_color : string = "000000FF" for color_dialog |
96 option tooltip_color : string = "FFFFE9FF" |
96 option tooltip_color : string = "FFFFE9FF" for color_dialog |
97 option writeln_color : string = "C0C0C0FF" |
97 option writeln_color : string = "C0C0C0FF" for color_dialog |
98 option information_color : string = "C1DFEEFF" |
98 option information_color : string = "C1DFEEFF" for color_dialog |
99 option warning_color : string = "FF8C00FF" |
99 option warning_color : string = "FF8C00FF" for color_dialog |
100 option legacy_color : string = "FF8C00FF" |
100 option legacy_color : string = "FF8C00FF" for color_dialog |
101 option error_color : string = "B22222FF" |
101 option error_color : string = "B22222FF" for color_dialog |
102 option ok_color : string = "000000FF" |
102 option ok_color : string = "000000FF" for color_dialog |
103 option failed_color : string = "B22222FF" |
103 option failed_color : string = "B22222FF" for color_dialog |
104 option writeln_message_color : string = "F0F0F0FF" |
104 option writeln_message_color : string = "F0F0F0FF" for color_dialog |
105 option information_message_color : string = "DCEAF3FF" |
105 option information_message_color : string = "DCEAF3FF" for color_dialog |
106 option tracing_message_color : string = "F0F8FFFF" |
106 option tracing_message_color : string = "F0F8FFFF" for color_dialog |
107 option warning_message_color : string = "EEE8AAFF" |
107 option warning_message_color : string = "EEE8AAFF" for color_dialog |
108 option legacy_message_color : string = "EEE8AAFF" |
108 option legacy_message_color : string = "EEE8AAFF" for color_dialog |
109 option error_message_color : string = "FFC1C1FF" |
109 option error_message_color : string = "FFC1C1FF" for color_dialog |
110 option spell_checker_color : string = "0000FFFF" |
110 option spell_checker_color : string = "0000FFFF" for color_dialog |
111 option bad_color : string = "FF6A6A64" |
111 option bad_color : string = "FF6A6A64" for color_dialog |
112 option canceled_color : string = "FF6A6A64" |
112 option canceled_color : string = "FF6A6A64" for color_dialog |
113 option intensify_color : string = "FFCC6664" |
113 option intensify_color : string = "FFCC6664" for color_dialog |
114 option entity_color : string = "CCD9FF80" |
114 option entity_color : string = "CCD9FF80" for color_dialog |
115 option entity_ref_color : string = "800080FF" |
115 option entity_ref_color : string = "800080FF" for color_dialog |
116 option breakpoint_disabled_color : string = "CCCC0080" |
116 option breakpoint_disabled_color : string = "CCCC0080" for color_dialog |
117 option breakpoint_enabled_color : string = "FF9966FF" |
117 option breakpoint_enabled_color : string = "FF9966FF" for color_dialog |
118 option quoted_color : string = "8B8B8B19" |
118 option quoted_color : string = "8B8B8B19" for color_dialog |
119 option antiquoted_color : string = "FFC83219" |
119 option antiquoted_color : string = "FFC83219" for color_dialog |
120 option antiquote_color : string = "6600CCFF" |
120 option antiquote_color : string = "6600CCFF" for color_dialog |
121 option raw_text_color : string = "6600CCFF" |
121 option raw_text_color : string = "6600CCFF" for color_dialog |
122 option plain_text_color : string = "CC6600FF" |
122 option plain_text_color : string = "CC6600FF" for color_dialog |
123 option highlight_color : string = "50505032" |
123 option highlight_color : string = "50505032" for color_dialog |
124 option hyperlink_color : string = "000000FF" |
124 option hyperlink_color : string = "000000FF" for color_dialog |
125 option active_color : string = "DCDCDCFF" |
125 option active_color : string = "DCDCDCFF" for color_dialog |
126 option active_hover_color : string = "9DC75DFF" |
126 option active_hover_color : string = "9DC75DFF" for color_dialog |
127 option active_result_color : string = "999966FF" |
127 option active_result_color : string = "999966FF" for color_dialog |
128 option keyword1_color : string = "006699FF" |
128 option keyword1_color : string = "006699FF" for color_dialog |
129 option keyword2_color : string = "009966FF" |
129 option keyword2_color : string = "009966FF" for color_dialog |
130 option keyword3_color : string = "0099FFFF" |
130 option keyword3_color : string = "0099FFFF" for color_dialog |
131 option quasi_keyword_color : string = "9966FFFF" |
131 option quasi_keyword_color : string = "9966FFFF" for color_dialog |
132 option improper_color : string = "FF5050FF" |
132 option improper_color : string = "FF5050FF" for color_dialog |
133 option operator_color : string = "323232FF" |
133 option operator_color : string = "323232FF" for color_dialog |
134 option comment1_color : string = "CC0000FF" |
134 option comment1_color : string = "CC0000FF" for color_dialog |
135 option comment2_color : string = "FF8400FF" |
135 option comment2_color : string = "FF8400FF" for color_dialog |
136 option comment3_color : string = "6600CCFF" |
136 option comment3_color : string = "6600CCFF" for color_dialog |
137 option caret_debugger_color : string = "FF9966FF" |
137 option caret_debugger_color : string = "FF9966FF" for color_dialog |
138 option caret_invisible_color : string = "50000080" |
138 option caret_invisible_color : string = "50000080" for color_dialog |
139 option completion_color : string = "0000FFFF" |
139 option completion_color : string = "0000FFFF" for color_dialog |
140 option search_color : string = "66FFFF64" |
140 option search_color : string = "66FFFF64" for color_dialog |
141 |
141 |
142 option tfree_color : string = "A020F0FF" |
142 option tfree_color : string = "A020F0FF" for color_dialog |
143 option tvar_color : string = "A020F0FF" |
143 option tvar_color : string = "A020F0FF" for color_dialog |
144 option free_color : string = "0000FFFF" |
144 option free_color : string = "0000FFFF" for color_dialog |
145 option skolem_color : string = "D2691EFF" |
145 option skolem_color : string = "D2691EFF" for color_dialog |
146 option bound_color : string = "008000FF" |
146 option bound_color : string = "008000FF" for color_dialog |
147 option var_color : string = "00009BFF" |
147 option var_color : string = "00009BFF" for color_dialog |
148 option inner_numeral_color : string = "FF0000FF" |
148 option inner_numeral_color : string = "FF0000FF" for color_dialog |
149 option inner_quoted_color : string = "FF00CCFF" |
149 option inner_quoted_color : string = "FF00CCFF" for color_dialog |
150 option inner_cartouche_color : string = "CC6600FF" |
150 option inner_cartouche_color : string = "CC6600FF" for color_dialog |
151 option dynamic_color : string = "7BA428FF" |
151 option dynamic_color : string = "7BA428FF" for color_dialog |
152 option class_parameter_color : string = "D2691EFF" |
152 option class_parameter_color : string = "D2691EFF" for color_dialog |
153 |
153 |
154 option markdown_bullet1_color : string = "DAFEDAFF" |
154 option markdown_bullet1_color : string = "DAFEDAFF" for color_dialog |
155 option markdown_bullet2_color : string = "FFF0CCFF" |
155 option markdown_bullet2_color : string = "FFF0CCFF" for color_dialog |
156 option markdown_bullet3_color : string = "E7E7FFFF" |
156 option markdown_bullet3_color : string = "E7E7FFFF" for color_dialog |
157 option markdown_bullet4_color : string = "FFE0F0FF" |
157 option markdown_bullet4_color : string = "FFE0F0FF" for color_dialog |
158 |
158 |
159 |
159 |
160 section "Icons" |
160 section "Icons" |
161 |
161 |
162 option tooltip_close_icon : string = "idea-icons/actions/closeHovered.png" |
162 option tooltip_close_icon : string = "idea-icons/actions/closeHovered.png" |