--- a/src/Tools/jEdit/src/isabelle_hyperlinks.scala Thu May 03 22:07:29 2012 +0200
+++ b/src/Tools/jEdit/src/isabelle_hyperlinks.scala Fri May 04 15:58:27 2012 +0200
@@ -40,7 +40,8 @@
override def click(view: View) = {
Isabelle_System.source_file(Path.explode(def_file)) match {
case None =>
- Library.error_dialog(view, "File not found", "Could not find source file " + def_file)
+ Library.error_dialog(view, "File not found",
+ Library.scrollable_text("Could not find source file " + def_file))
case Some(file) =>
jEdit.openFiles(view, file.getParent, Array(file.getName, "+line:" + def_line))
}