--- a/src/Tools/jEdit/src/token_markup.scala Tue Jan 10 18:12:55 2012 +0100
+++ b/src/Tools/jEdit/src/token_markup.scala Tue Jan 10 23:26:27 2012 +0100
@@ -178,7 +178,8 @@
if (line_ctxt.isDefined && Isabelle.session.is_ready) {
val syntax = Isabelle.session.current_syntax()
val (tokens, ctxt1) = syntax.scan_context(line, line_ctxt.get)
- val styled_tokens = tokens.map(tok => (Isabelle_Rendering.token_markup(syntax, tok), tok))
+ val styled_tokens =
+ tokens.map(tok => (Isabelle_Rendering.token_markup(syntax, tok), tok))
(styled_tokens, new Line_Context(Some(ctxt1)))
}
else {