equal
deleted
inserted
replaced
98 option legacy_message_color : string = "EEE8AAFF" |
98 option legacy_message_color : string = "EEE8AAFF" |
99 option error_message_color : string = "FFC1C1FF" |
99 option error_message_color : string = "FFC1C1FF" |
100 option spell_checker_color : string = "0000FFFF" |
100 option spell_checker_color : string = "0000FFFF" |
101 option bad_color : string = "FF6A6A64" |
101 option bad_color : string = "FF6A6A64" |
102 option intensify_color : string = "FFCC6664" |
102 option intensify_color : string = "FFCC6664" |
103 option breakpoint_color : string = "00CC0014" |
103 option breakpoint_disabled_color : string = "00CC66FF" |
104 option breakpoint_active_color : string = "00CC0032" |
104 option breakpoint_enabled_color : string = "CC6600FF" |
105 option quoted_color : string = "8B8B8B19" |
105 option quoted_color : string = "8B8B8B19" |
106 option antiquoted_color : string = "FFC83219" |
106 option antiquoted_color : string = "FFC83219" |
107 option antiquote_color : string = "6600CCFF" |
107 option antiquote_color : string = "6600CCFF" |
108 option highlight_color : string = "50505032" |
108 option highlight_color : string = "50505032" |
109 option hyperlink_color : string = "000000FF" |
109 option hyperlink_color : string = "000000FF" |