--- a/src/Pure/GUI/swing_thread.scala Tue Sep 24 20:24:14 2013 +0200
+++ b/src/Pure/GUI/swing_thread.scala Tue Sep 24 20:41:28 2013 +0200
@@ -1,4 +1,5 @@
/* Title: Pure/GUI/swing_thread.scala
+ Module: PIDE-GUI
Author: Makarius
Evaluation within the AWT/Swing thread.