--- a/src/Pure/PIDE/protocol.scala Sun Mar 04 16:02:14 2012 +0100
+++ b/src/Pure/PIDE/protocol.scala Sun Mar 04 18:15:45 2012 +0100
@@ -164,7 +164,6 @@
tree match {
case XML.Elem(Markup(name, Position.Id_Range(id, raw_range)), body)
if include_pos(name) && id == command.id =>
- // FIXME handle message range outside command range (!??!)
val range = command.decode(raw_range).restrict(command.range)
body.foldLeft(if (range.is_singularity) set else set + range)(positions)
case XML.Elem(Markup(name, _), body) => body.foldLeft(set)(positions)