# HG changeset patch
# User wenzelm
# Date 1420124892 -3600
# Node ID 7b4b025b05995e2b9d5e90af3afb1d1d9ea92402
# Parent  56b34fc7a015efa1058418cab0d5de6ff6033f22
tuned signature;

diff -r 56b34fc7a015 -r 7b4b025b0599 src/Tools/Graphview/mutator_dialog.scala
--- a/src/Tools/Graphview/mutator_dialog.scala	Thu Jan 01 15:58:30 2015 +0100
+++ b/src/Tools/Graphview/mutator_dialog.scala	Thu Jan 01 16:08:12 2015 +0100
@@ -161,9 +161,9 @@
   private class Mutator_Panel(initials: Mutator.Info)
     extends BoxPanel(Orientation.Horizontal)
   {
-    private val inputs: List[(String, Mutator_Input_Value)] = get_Inputs()
+    private val inputs: List[(String, Input)] = get_inputs()
     var focusList = List.empty[java.awt.Component]
-    private val enabledBox = new iCheckBox("Enabled", initials.enabled)
+    private val enabledBox = new Check_Box_Input("Enabled", initials.enabled)
 
     border = new EmptyBorder(5, 5, 5, 5)
     maximumSize = new Dimension(Integer.MAX_VALUE, 30)
@@ -250,31 +250,31 @@
           case Mutator.Identity() =>
             Mutator.Identity()
           case Mutator.Node_Expression(r, _, _, _) =>
-            val r1 = inputs(2)._2.get_string
+            val r1 = inputs(2)._2.string
             Mutator.Node_Expression(
               if (Library.make_regex(r1).isDefined) r1 else r,
-              inputs(3)._2.get_bool,
+              inputs(3)._2.bool,
               // "Parents" means "Show parents" or "Matching Children"
-              inputs(1)._2.get_bool,
-              inputs(0)._2.get_bool)
+              inputs(1)._2.bool,
+              inputs(0)._2.bool)
           case Mutator.Node_List(_, _, _, _) =>
             Mutator.Node_List(
-              inputs(2)._2.get_string.split(',').filter(_ != "").toList,
-              inputs(3)._2.get_bool,
+              inputs(2)._2.string.split(',').filter(_ != "").toList,
+              inputs(3)._2.bool,
               // "Parents" means "Show parents" or "Matching Children"
-              inputs(1)._2.get_bool,
-              inputs(0)._2.get_bool)
+              inputs(1)._2.bool,
+              inputs(0)._2.bool)
           case Mutator.Edge_Endpoints(_, _) =>
             Mutator.Edge_Endpoints(
-              inputs(0)._2.get_string,
-              inputs(1)._2.get_string)
+              inputs(0)._2.string,
+              inputs(1)._2.string)
           case Mutator.Add_Node_Expression(r) =>
-            val r1 = inputs(0)._2.get_string
+            val r1 = inputs(0)._2.string
             Mutator.Add_Node_Expression(if (Library.make_regex(r1).isDefined) r1 else r)
           case Mutator.Add_Transitive_Closure(_, _) =>
             Mutator.Add_Transitive_Closure(
-              inputs(0)._2.get_bool,
-              inputs(1)._2.get_bool)
+              inputs(0)._2.bool,
+              inputs(1)._2.bool)
           case _ =>
             Mutator.Identity()
         }
@@ -282,42 +282,42 @@
       Mutator.Info(enabledBox.selected, background, m)
     }
 
-    private def get_Inputs(): List[(String, Mutator_Input_Value)] =
+    private def get_inputs(): List[(String, Input)] =
       initials.mutator match {
         case Mutator.Node_Expression(regex, reverse, check_parents, check_children) =>
           List(
-            ("", new iCheckBox("Parents", check_children)),
-            ("", new iCheckBox("Children", check_parents)),
-            ("Regex", new iTextField(regex, x => Library.make_regex(x).isDefined)),
-            ("", new iCheckBox(reverse_caption, reverse)))
+            ("", new Check_Box_Input("Parents", check_children)),
+            ("", new Check_Box_Input("Children", check_parents)),
+            ("Regex", new Text_Field_Input(regex, x => Library.make_regex(x).isDefined)),
+            ("", new Check_Box_Input(reverse_caption, reverse)))
         case Mutator.Node_List(list, reverse, check_parents, check_children) =>
           List(
-            ("", new iCheckBox("Parents", check_children)),
-            ("", new iCheckBox("Children", check_parents)),
-            ("Names", new iTextField(list.mkString(","))),
-            ("", new iCheckBox(reverse_caption, reverse)))
+            ("", new Check_Box_Input("Parents", check_children)),
+            ("", new Check_Box_Input("Children", check_parents)),
+            ("Names", new Text_Field_Input(list.mkString(","))),
+            ("", new Check_Box_Input(reverse_caption, reverse)))
         case Mutator.Edge_Endpoints(source, dest) =>
           List(
-            ("Source", new iTextField(source)),
-            ("Destination", new iTextField(dest)))
+            ("Source", new Text_Field_Input(source)),
+            ("Destination", new Text_Field_Input(dest)))
         case Mutator.Add_Node_Expression(regex) =>
-          List(("Regex", new iTextField(regex, x => Library.make_regex(x).isDefined)))
+          List(("Regex", new Text_Field_Input(regex, x => Library.make_regex(x).isDefined)))
         case Mutator.Add_Transitive_Closure(parents, children) =>
           List(
-            ("", new iCheckBox("Parents", parents)),
-            ("", new iCheckBox("Children", children)))
+            ("", new Check_Box_Input("Parents", parents)),
+            ("", new Check_Box_Input("Children", children)))
         case _ => Nil
       }
   }
 
-  private trait Mutator_Input_Value
+  private trait Input
   {
-    def get_string: String
-    def get_bool: Boolean
+    def string: String
+    def bool: Boolean
   }
 
-  private class iTextField(t: String, check: String => Boolean = (_: String) => true)
-    extends TextField(t) with Mutator_Input_Value
+  private class Text_Field_Input(txt: String, check: String => Boolean = (_: String) => true)
+    extends TextField(txt) with Input
   {
     preferredSize = new Dimension(125, 18)
 
@@ -328,17 +328,16 @@
         foreground = if (check(text)) default_foreground else visualizer.error_color
     }
 
-    def get_string = text
-    def get_bool = true
+    def string = text
+    def bool = true
   }
 
-  private class iCheckBox(t: String, s: Boolean)
-  extends CheckBox(t) with Mutator_Input_Value
+  private class Check_Box_Input(txt: String, s: Boolean) extends CheckBox(txt) with Input
   {
     selected = s
 
-    def get_string = ""
-    def get_bool = selected
+    def string = ""
+    def bool = selected
   }
 
   private object Focus_Traveral_Policy extends FocusTraversalPolicy