--- a/src/Tools/Graphview/popups.scala Fri Jan 02 20:54:14 2015 +0100
+++ b/src/Tools/Graphview/popups.scala Fri Jan 02 21:19:34 2015 +0100
@@ -1,5 +1,6 @@
/* Title: Tools/Graphview/popups.scala
Author: Markus Kaiser, TU Muenchen
+ Author: Makarius
PopupMenu generation for graph components.
*/