diff -r 5f388e514ab8 -r 77ef8bef0593 src/Tools/Graphview/graph_panel.scala --- a/src/Tools/Graphview/graph_panel.scala Thu Mar 04 19:55:52 2021 +0100 +++ b/src/Tools/Graphview/graph_panel.scala Thu Mar 04 21:04:27 2021 +0100 @@ -341,8 +341,8 @@ tooltip = "Use editor font and colors for painting" } - private val colorations = new Button { action = Action("Colorations") { color_dialog.open } } - private val filters = new Button { action = Action("Filters") { mutator_dialog.open } } + private val colorations = new Button { action = Action("Colorations") { color_dialog.open() } } + private val filters = new Button { action = Action("Filters") { mutator_dialog.open() } } private val controls = Wrap_Panel(