more visual feedback on path_completion, at the risk of file-system access in GUI painting;

--- a/src/Tools/jEdit/src/completion_popup.scala	Tue May 06 16:08:07 2014 +0200
+++ b/src/Tools/jEdit/src/completion_popup.scala	Tue May 06 16:16:38 2014 +0200
@@ -132,7 +132,9 @@
                   case Some(Text.Info(_, Completion.No_Completion)) => None
                   case Some(Text.Info(range1, _: Completion.Names)) => Some(range1)
                   case None =>
-                    syntax_completion(Completion.History.empty, false, Some(rendering)).map(_.range)
+                    Completion.Result.merge(Completion.History.empty,
+                      syntax_completion(Completion.History.empty, false, Some(rendering)),
+                      path_completion(rendering)).map(_.range)
                 }
               case _ => None
             }