src/Tools/Graphview/mutator_dialog.scala

--- a/src/Tools/Graphview/mutator_dialog.scala	Sun Jul 02 18:56:52 2023 +0200
+++ b/src/Tools/Graphview/mutator_dialog.scala	Sun Jul 02 19:05:59 2023 +0200
@@ -158,7 +158,7 @@
     private val enabledBox = new Check_Box_Input("Enabled", initials.enabled)
 
     border = new EmptyBorder(5, 5, 5, 5)
-    maximumSize = new Dimension(Integer.MAX_VALUE, 30)
+    maximumSize = new Dimension(Int.MaxValue, 30)
     background = initials.color
 
     contents += new Label(initials.mutator.name) {