src/Tools/Graphview/mutator_dialog.scala

--- a/src/Tools/Graphview/mutator_dialog.scala	Mon Mar 01 20:12:09 2021 +0100
+++ b/src/Tools/Graphview/mutator_dialog.scala	Mon Mar 01 22:22:12 2021 +0100
@@ -31,7 +31,7 @@
 
   private var _panels: List[Mutator_Panel] = Nil
   private def panels = _panels
-  private def panels_=(panels: List[Mutator_Panel])
+  private def panels_=(panels: List[Mutator_Panel]): Unit =
   {
     _panels = panels
     paint_panels()
@@ -43,7 +43,7 @@
     case Mutator_Event.New_List(ms) => panels = get_panels(ms)
   }
 
-  override def open()
+  override def open(): Unit =
   {
     if (!visible) panels = get_panels(container())
     super.open
@@ -82,17 +82,17 @@
     panels = moveDown(panels)
   }
 
-  private def removePanel(m: Mutator_Panel)
+  private def removePanel(m: Mutator_Panel): Unit =
   {
     panels = panels.filter(_ != m).toList
   }
 
-  private def add_panel(m: Mutator_Panel)
+  private def add_panel(m: Mutator_Panel): Unit =
   {
     panels = panels ::: List(m)
   }
 
-  def paint_panels()
+  def paint_panels(): Unit =
   {
     Focus_Traveral_Policy.clear
     filter_panel.contents.clear
@@ -351,9 +351,9 @@
   {
     private var items = Vector.empty[java.awt.Component]
 
-    def add(c: java.awt.Component) { items = items :+ c }
-    def addAll(cs: TraversableOnce[java.awt.Component]) { items = items ++ cs }
-    def clear() { items = Vector.empty }
+    def add(c: java.awt.Component): Unit = { items = items :+ c }
+    def addAll(cs: TraversableOnce[java.awt.Component]): Unit = { items = items ++ cs }
+    def clear(): Unit = { items = Vector.empty }
 
     def getComponentAfter(root: java.awt.Container, c: java.awt.Component): java.awt.Component =
     {