equal
deleted
inserted
replaced
207 val tooltip_message_elements = |
207 val tooltip_message_elements = |
208 Markup.Elements(Markup.WRITELN, Markup.INFORMATION, Markup.WARNING, Markup.LEGACY, Markup.ERROR, |
208 Markup.Elements(Markup.WRITELN, Markup.INFORMATION, Markup.WARNING, Markup.LEGACY, Markup.ERROR, |
209 Markup.BAD) |
209 Markup.BAD) |
210 |
210 |
211 val warning_elements = Markup.Elements(Markup.WARNING, Markup.LEGACY) |
211 val warning_elements = Markup.Elements(Markup.WARNING, Markup.LEGACY) |
212 val error_elements = Markup.Elements(Markup.ERROR) |
212 val error_elements = Markup.Elements(Markup.ERROR, Markup.BAD) |
213 |
213 |
214 val caret_focus_elements = Markup.Elements(Markup.ENTITY) |
214 val caret_focus_elements = Markup.Elements(Markup.ENTITY) |
215 |
215 |
216 val antiquoted_elements = Markup.Elements(Markup.ANTIQUOTED) |
216 val antiquoted_elements = Markup.Elements(Markup.ANTIQUOTED) |
217 |
217 |