86 option bullet_color : string = "000000FF" |
86 option bullet_color : string = "000000FF" |
87 option tooltip_color : string = "FFFFE9FF" |
87 option tooltip_color : string = "FFFFE9FF" |
88 option writeln_color : string = "C0C0C0FF" |
88 option writeln_color : string = "C0C0C0FF" |
89 option information_color : string = "C1DFEEFF" |
89 option information_color : string = "C1DFEEFF" |
90 option warning_color : string = "FF8C00FF" |
90 option warning_color : string = "FF8C00FF" |
|
91 option legacy_color : string = "FF8C00FF" |
91 option error_color : string = "B22222FF" |
92 option error_color : string = "B22222FF" |
92 option writeln_message_color : string = "F0F0F0FF" |
93 option writeln_message_color : string = "F0F0F0FF" |
93 option state_message_color : string = "F0E4E4FF" |
94 option state_message_color : string = "F0E4E4FF" |
94 option information_message_color : string = "DCEAF3FF" |
95 option information_message_color : string = "DCEAF3FF" |
95 option tracing_message_color : string = "F0F8FFFF" |
96 option tracing_message_color : string = "F0F8FFFF" |
96 option warning_message_color : string = "EEE8AAFF" |
97 option warning_message_color : string = "EEE8AAFF" |
|
98 option legacy_message_color : string = "EEE8AAFF" |
97 option error_message_color : string = "FFC1C1FF" |
99 option error_message_color : string = "FFC1C1FF" |
98 option spell_checker_color : string = "0000FFFF" |
100 option spell_checker_color : string = "0000FFFF" |
99 option bad_color : string = "FF6A6A64" |
101 option bad_color : string = "FF6A6A64" |
100 option intensify_color : string = "FFCC6664" |
102 option intensify_color : string = "FFCC6664" |
101 option quoted_color : string = "8B8B8B19" |
103 option quoted_color : string = "8B8B8B19" |