Debug console: make spacing between log lines smaller

This commit is contained in:
Moritz Brückner 2021-09-27 15:53:08 +02:00
parent 1c237dd6c3
commit d979e4fde9

View file

@ -788,7 +788,10 @@ class DebugConsole extends Trait {
lastTraces[0] = "";
lastTraces.splice(1, lastTraces.length - 1);
}
final eh = ui.t.ELEMENT_H;
ui.t.ELEMENT_H = ui.fontSize;
for (t in lastTraces) ui.text(t);
ui.t.ELEMENT_H = eh;
ui.unindent();
}
}