| changeset 49559 | c3a6e110679b |
| parent 49523 | dc0670364008 |
| child 50117 | 32755e357a51 |
--- a/src/Tools/jEdit/src/session_dockable.scala Mon Sep 24 21:16:33 2012 +0200 +++ b/src/Tools/jEdit/src/session_dockable.scala Tue Sep 25 12:17:58 2012 +0200 @@ -21,7 +21,7 @@ import org.gjt.sp.jedit.{View, jEdit} -class Session_Dockable(view: View, position: String) extends Dockable(view: View, position: String) +class Session_Dockable(view: View, position: String) extends Dockable(view, position) { /* status */