src/Tools/jEdit/src/pretty_text_area.scala

 import javax.swing.{KeyStroke, JComponent}
 
 import org.gjt.sp.jedit.{jEdit, View, Registers}
 import org.gjt.sp.jedit.textarea.{AntiAlias, JEditEmbeddedTextArea}
 import org.gjt.sp.jedit.syntax.SyntaxStyle
-import org.gjt.sp.util.SyntaxUtilities
+import org.gjt.sp.util.{SyntaxUtilities, Log}
 
 
 object Pretty_Text_Area
 {
   private def text_rendering(base_snapshot: Document.Snapshot, base_results: Command.Results,

 
       future_rendering.map(_.cancel(true))
       future_rendering = Some(default_thread_pool.submit(() =>
         {
           val (text, rendering) =
-            Pretty_Text_Area.text_rendering(base_snapshot, base_results, formatted_body)
+            try { Pretty_Text_Area.text_rendering(base_snapshot, base_results, formatted_body) }
+            catch { case exn: Throwable => Log.log(Log.ERROR, this, exn); throw exn }
           Simple_Thread.interrupted_exception()
 
           Swing_Thread.later {
             current_rendering = rendering
             JEdit_Lib.buffer_edit(getBuffer) {