# HG changeset patch
# User wenzelm
# Date 1453406257 -3600
# Node ID 6dfe5b12c5b2c4fe15e2540b38ba3e7a8f94c684
# Parent  6eeaaefcea560b763923bb84fb42a3cb22cf4b8d
report error on internal channel as well: startup_failure dialog may be too late;

diff -r 6eeaaefcea56 -r 6dfe5b12c5b2 src/Tools/jEdit/src/plugin.scala
--- a/src/Tools/jEdit/src/plugin.scala	Thu Jan 21 20:50:34 2016 +0100
+++ b/src/Tools/jEdit/src/plugin.scala	Thu Jan 21 20:57:37 2016 +0100
@@ -19,8 +19,8 @@
 import org.gjt.sp.jedit.buffer.JEditBuffer
 import org.gjt.sp.jedit.syntax.ModeProvider
 import org.gjt.sp.jedit.msg.{EditorStarted, BufferUpdate, EditPaneUpdate, PropertiesChanged}
-
 import org.gjt.sp.util.SyntaxUtilities
+import org.gjt.sp.util.Log
 
 
 object PIDE
@@ -420,6 +420,7 @@
       case exn: Throwable =>
         PIDE.startup_failure = Some(exn)
         PIDE.startup_notified = false
+        Log.log(Log.ERROR, this, exn)
     }
   }