diff --git a/files/src/renderer/83_statusbox.js b/files/src/renderer/83_statusbox.js index 50eff1b1..dbd8664a 100644 --- a/files/src/renderer/83_statusbox.js +++ b/files/src/renderer/83_statusbox.js @@ -92,7 +92,11 @@ function NewStatusHandler() { } else if (config.behaviour === "back_analysis") { status_string += `Back-eval! `; } else if (config.behaviour === "analysis_free") { - status_string += `ANALYSIS (halt?) `; + if (hub.engine.sent_options.contempt !== undefined && hub.engine.sent_options.contempt !== "0") { + status_string += `Contempt active! `; + } else { + status_string += `ANALYSIS (halt?) `; + } } if (config.book_explorer) {