--- a/src/Pure/PIDE/markup_tree.scala Thu Sep 27 14:46:34 2012 +0200
+++ b/src/Pure/PIDE/markup_tree.scala Thu Sep 27 14:50:06 2012 +0200
@@ -133,8 +133,8 @@
val body = overlapping(new_range)
if (body.forall(e => new_range.contains(e._1)))
new Markup_Tree(branches -- body.keys, Entry(new_markup, new Markup_Tree(body)))
- else { // FIXME split markup!?
- System.err.println("Ignored overlapping markup information: " + new_markup +
+ else {
+ java.lang.System.err.println("Ignored overlapping markup information: " + new_markup +
body.filter(e => !new_range.contains(e._1)).mkString("\n"))
this
}