Skip to content

Commit 025fd2f

Browse files
committed
Disable mock range button
1 parent 96a9b95 commit 025fd2f

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

src/main/kotlin/be/ugent/topl/mio/ui/InteractiveDebugger.kt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -689,7 +689,7 @@ class MultiversePanel(private val multiverseDebugger: MultiverseDebugger, config
689689
val rangeButton = JButton(allOptions[0])
690690
val mockButton = JButton(allOptions[1])
691691
val cancelButton = JButton(allOptions[2])
692-
options = arrayOf(rangeButton, mockButton, cancelButton)
692+
options = arrayOf(mockButton, cancelButton)
693693

694694
rangeButton.isEnabled = currentNode is PrimitiveNode
695695

0 commit comments

Comments
 (0)