src/Tools/Graphview/mutator_dialog.scala
changeset 59246 32903b99c2ef
parent 59245 be4180f3c236
child 59391 39a38657d16b
equal deleted inserted replaced
59245:be4180f3c236 59246:32903b99c2ef
   267               } yield node,
   267               } yield node,
   268               inputs(3)._2.bool,
   268               inputs(3)._2.bool,
   269               // "Parents" means "Show parents" or "Matching Children"
   269               // "Parents" means "Show parents" or "Matching Children"
   270               inputs(1)._2.bool,
   270               inputs(1)._2.bool,
   271               inputs(0)._2.bool)
   271               inputs(0)._2.bool)
   272           case Mutator.Edge_Endpoints(_, _) =>
   272           case Mutator.Edge_Endpoints(_) =>
   273             (model.find_node(inputs(0)._2.string), model.find_node(inputs(1)._2.string)) match {
   273             (model.find_node(inputs(0)._2.string), model.find_node(inputs(1)._2.string)) match {
   274               case (Some(node1), Some(node2)) =>
   274               case (Some(node1), Some(node2)) =>
   275                 Mutator.Edge_Endpoints(node1, node2)
   275                 Mutator.Edge_Endpoints((node1, node2))
   276               case _ =>
   276               case _ =>
   277                 Mutator.Identity()
   277                 Mutator.Identity()
   278             }
   278             }
   279           case Mutator.Add_Node_Expression(r) =>
   279           case Mutator.Add_Node_Expression(r) =>
   280             val r1 = inputs(0)._2.string
   280             val r1 = inputs(0)._2.string
   302           List(
   302           List(
   303             ("", new Check_Box_Input("Parents", check_children)),
   303             ("", new Check_Box_Input("Parents", check_children)),
   304             ("", new Check_Box_Input("Children", check_parents)),
   304             ("", new Check_Box_Input("Children", check_parents)),
   305             ("Names", new Text_Field_Input(list.map(_.ident).mkString(","))),
   305             ("Names", new Text_Field_Input(list.map(_.ident).mkString(","))),
   306             ("", new Check_Box_Input(reverse_caption, reverse)))
   306             ("", new Check_Box_Input(reverse_caption, reverse)))
   307         case Mutator.Edge_Endpoints(source, dest) =>
   307         case Mutator.Edge_Endpoints((source, dest)) =>
   308           List(
   308           List(
   309             ("Source", new Text_Field_Input(source.ident)),
   309             ("Source", new Text_Field_Input(source.ident)),
   310             ("Destination", new Text_Field_Input(dest.ident)))
   310             ("Destination", new Text_Field_Input(dest.ident)))
   311         case Mutator.Add_Node_Expression(regex) =>
   311         case Mutator.Add_Node_Expression(regex) =>
   312           List(("Regex", new Text_Field_Input(regex, x => Library.make_regex(x).isDefined)))
   312           List(("Regex", new Text_Field_Input(regex, x => Library.make_regex(x).isDefined)))