fix halt solution rendering in :ide

tuProlog · Jan 19, 2021 · e2c2cc3 · e2c2cc3
1 parent a90a899
commit e2c2cc3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/ide/src/main/kotlin/it/unibo/tuprolog/ui/gui/SolutionView.kt b/ide/src/main/kotlin/it/unibo/tuprolog/ui/gui/SolutionView.kt
@@ -88,6 +88,7 @@ sealed class SolutionView<T, S : Solution>(protected val solution: S) : VBox() {
                 query.isVisible = false
             } else {
                 led.fill = COLOR_HALT
+                status.text = "halt:"
                 query.text = solution.exception.message
                 with(children) {
                     solution.exception.prologStackTrace.map { it.format(formatter) }.forEach {