19 object Color extends Enumeration |
19 object Color extends Enumeration |
20 { |
20 { |
21 // background |
21 // background |
22 val unprocessed1, running1, canceled, bad, intensify, entity, active, active_result, |
22 val unprocessed1, running1, canceled, bad, intensify, entity, active, active_result, |
23 markdown_bullet1, markdown_bullet2, markdown_bullet3, markdown_bullet4 = Value |
23 markdown_bullet1, markdown_bullet2, markdown_bullet3, markdown_bullet4 = Value |
24 val background_colors = values |
24 val background_colors: ValueSet = values |
25 |
25 |
26 // foreground |
26 // foreground |
27 val quoted, antiquoted = Value |
27 val quoted, antiquoted = Value |
28 val foreground_colors = values -- background_colors |
28 val foreground_colors: ValueSet = values -- background_colors |
29 |
29 |
30 // message underline |
30 // message underline |
31 val writeln, information, warning, legacy, error = Value |
31 val writeln, information, warning, legacy, error = Value |
32 val message_underline_colors = values -- background_colors -- foreground_colors |
32 val message_underline_colors: ValueSet = values -- background_colors -- foreground_colors |
33 |
33 |
34 // message background |
34 // message background |
35 val writeln_message, information_message, tracing_message, |
35 val writeln_message, information_message, tracing_message, |
36 warning_message, legacy_message, error_message = Value |
36 warning_message, legacy_message, error_message = Value |
37 val message_background_colors = |
37 val message_background_colors: ValueSet = |
38 values -- background_colors -- foreground_colors -- message_underline_colors |
38 values -- background_colors -- foreground_colors -- message_underline_colors |
39 |
39 |
40 // text |
40 // text |
41 val main, keyword1, keyword2, keyword3, quasi_keyword, improper, operator, |
41 val main, keyword1, keyword2, keyword3, quasi_keyword, improper, operator, |
42 tfree, tvar, free, skolem, bound, `var`, inner_numeral, inner_quoted, |
42 tfree, tvar, free, skolem, bound, `var`, inner_numeral, inner_quoted, |
43 inner_cartouche, comment1, comment2, comment3, dynamic, class_parameter, |
43 inner_cartouche, comment1, comment2, comment3, dynamic, class_parameter, |
44 antiquote, raw_text, plain_text = Value |
44 antiquote, raw_text, plain_text = Value |
45 val text_colors = |
45 val text_colors: ValueSet = |
46 values -- background_colors -- foreground_colors -- message_underline_colors -- |
46 values -- background_colors -- foreground_colors -- message_underline_colors -- |
47 message_background_colors |
47 message_background_colors |
48 |
48 |
49 // text overview |
49 // text overview |
50 val unprocessed, running = Value |
50 val unprocessed, running = Value |