src/Tools/Graphview/src/mutator_dialog.scala

 import isabelle.graphview.Mutators._
 import scala.swing.event.ValueChanged
 
 
 class Mutator_Dialog(
-    container: Mutator_Container, caption: String,
+    parameters: Parameters,
+    container: Mutator_Container,
+    caption: String,
     reverse_caption: String = "Inverse",
     show_color_chooser: Boolean = true)
   extends Dialog
 {
   type Mutator_Markup = (Boolean, Color, Mutator)

   private val mutatorBox = new ComboBox[Mutator](container.available)
 
   private val addButton: Button = new Button{
     action = Action("Add") {
       addPanel(
-        new Mutator_Panel((true, Parameters.Colors.next,
+        new Mutator_Panel((true, parameters.Colors.next,
                            mutatorBox.selection.item))
       )
     }
   }
 

     add(new ScrollPane(filterPanel), BorderPanel.Position.Center)
     add(botPanel, BorderPanel.Position.South)
   }
 
   private class Mutator_Panel(initials: Mutator_Markup)
-  extends BoxPanel(Orientation.Horizontal)
+    extends BoxPanel(Orientation.Horizontal)
   {
     private val (_enabled, _color, _mutator) = initials
     
     private val inputs: List[(String, Mutator_Input_Value)] = get_Inputs()
     var focusList = List.empty[java.awt.Component]

     def getString = ""
     def getBool = selected
   }
 
   private object focusTraversal
-  extends FocusTraversalPolicy
+    extends FocusTraversalPolicy
   {
     private var items = Vector[java.awt.Component]()
 
     def add(c: java.awt.Component) {
       items = items :+ c