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, inner_comment, dynamic, class_parameter, antiquote = Value |
43 inner_cartouche, comment1, comment2, comment3, dynamic, class_parameter, antiquote = Value |
44 val text_colors = |
44 val text_colors = |
45 values -- background_colors -- foreground_colors -- message_underline_colors -- |
45 values -- background_colors -- foreground_colors -- message_underline_colors -- |
46 message_background_colors |
46 message_background_colors |
47 |
47 |
48 // text overview |
48 // text overview |
123 Markup.SKOLEM -> Color.skolem, |
123 Markup.SKOLEM -> Color.skolem, |
124 Markup.BOUND -> Color.bound, |
124 Markup.BOUND -> Color.bound, |
125 Markup.VAR -> Color.`var`, |
125 Markup.VAR -> Color.`var`, |
126 Markup.INNER_STRING -> Color.inner_quoted, |
126 Markup.INNER_STRING -> Color.inner_quoted, |
127 Markup.INNER_CARTOUCHE -> Color.inner_cartouche, |
127 Markup.INNER_CARTOUCHE -> Color.inner_cartouche, |
128 Markup.INNER_COMMENT -> Color.inner_comment, |
|
129 Markup.DYNAMIC_FACT -> Color.dynamic, |
128 Markup.DYNAMIC_FACT -> Color.dynamic, |
130 Markup.CLASS_PARAMETER -> Color.class_parameter, |
129 Markup.CLASS_PARAMETER -> Color.class_parameter, |
131 Markup.ANTIQUOTE -> Color.antiquote, |
130 Markup.ANTIQUOTE -> Color.antiquote, |
132 Markup.ML_KEYWORD1 -> Color.keyword1, |
131 Markup.ML_KEYWORD1 -> Color.keyword1, |
133 Markup.ML_KEYWORD2 -> Color.keyword2, |
132 Markup.ML_KEYWORD2 -> Color.keyword2, |
134 Markup.ML_KEYWORD3 -> Color.keyword3, |
133 Markup.ML_KEYWORD3 -> Color.keyword3, |
135 Markup.ML_DELIMITER -> Color.main, |
134 Markup.ML_DELIMITER -> Color.main, |
136 Markup.ML_NUMERAL -> Color.inner_numeral, |
135 Markup.ML_NUMERAL -> Color.inner_numeral, |
137 Markup.ML_CHAR -> Color.inner_quoted, |
136 Markup.ML_CHAR -> Color.inner_quoted, |
138 Markup.ML_STRING -> Color.inner_quoted, |
137 Markup.ML_STRING -> Color.inner_quoted, |
139 Markup.ML_COMMENT -> Color.inner_comment) |
138 Markup.ML_COMMENT -> Color.comment1, |
|
139 Markup.COMMENT1 -> Color.comment1, |
|
140 Markup.COMMENT2 -> Color.comment2, |
|
141 Markup.COMMENT3 -> Color.comment3) |
140 |
142 |
141 val foreground = |
143 val foreground = |
142 Map( |
144 Map( |
143 Markup.STRING -> Color.quoted, |
145 Markup.STRING -> Color.quoted, |
144 Markup.ALT_STRING -> Color.quoted, |
146 Markup.ALT_STRING -> Color.quoted, |