src/Tools/Graphview/mutator_dialog.scala

   Dimension, BorderPanel, ScrollPane, Label, CheckBox, Alignment, Component, TextField}
 import scala.swing.event.ValueChanged
 
 
 class Mutator_Dialog(
-    visualizer: Visualizer,
+    graphview: Graphview,
     container: Mutator_Container,
     caption: String,
     reverse_caption: String = "Inverse",
     show_color_chooser: Boolean = true)
   extends Dialog

   private val mutator_box = new ComboBox[Mutator](container.available)
 
   private val add_button = new Button {
     action = Action("Add") {
       add_panel(
-        new Mutator_Panel(Mutator.Info(true, visualizer.Colors.next, mutator_box.selection.item)))
+        new Mutator_Panel(Mutator.Info(true, graphview.Colors.next, mutator_box.selection.item)))
     }
   }
 
   private val apply_button = new Button {
     action = Action("Apply") { container(get_mutators(panels)) }

 
     focusList = focusList.reverse
 
     def get_mutator: Mutator.Info =
     {
-      val model = visualizer.model
+      val model = graphview.model
       val m =
         initials.mutator match {
           case Mutator.Identity() =>
             Mutator.Identity()
           case Mutator.Node_Expression(r, _, _, _) =>

 
     private val default_foreground = foreground
     reactions +=
     {
       case ValueChanged(_) =>
-        foreground = if (check(text)) default_foreground else visualizer.error_color
+        foreground = if (check(text)) default_foreground else graphview.error_color
     }
 
     def string = text
     def bool = true
   }