one extra space to accomodate symbolic indentifiers etc.;

--- a/src/Pure/PIDE/state.scala	Sun May 30 21:34:19 2010 +0200
+++ b/src/Pure/PIDE/state.scala	Sun May 30 21:59:15 2010 +0200
@@ -56,7 +56,7 @@
     types.find(t => t.start <= pos && pos < t.stop) match {
       case Some(t) =>
         t.info match {
-          case Command.TypeInfo(ty) => Some(command.source(t.start, t.stop) + ": " + ty)
+          case Command.TypeInfo(ty) => Some(command.source(t.start, t.stop) + " : " + ty)
           case _ => None
         }
       case None => None