Make printing with PosInfos configurable in the debug console UI

This commit is contained in:
Moritz Brückner 2021-09-27 15:46:35 +02:00
parent 152959699a
commit 1c237dd6c3

View file

@ -779,6 +779,11 @@ class DebugConsole extends Trait {
#end
if (ui.panel(Id.handle({selected: true}), "Log")) {
ui.indent();
final h = Id.handle();
h.selected = DebugConsole.traceWithPosition;
DebugConsole.traceWithPosition = ui.check(h, "Print With Position");
if (ui.button("Clear")) {
lastTraces[0] = "";
lastTraces.splice(1, lastTraces.length - 1);