From 3a6c6f7a1008f56a7c1ec89d2cdd49458207d6a8 Mon Sep 17 00:00:00 2001 From: Raphael Forment Date: Thu, 7 Sep 2023 18:07:53 +0200 Subject: [PATCH] user interface improvement --- src/main.ts | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/src/main.ts b/src/main.ts index b68590d..57d71a9 100644 --- a/src/main.ts +++ b/src/main.ts @@ -231,6 +231,13 @@ export class Editor { this.universes[this.selected_universe].global.committed = random_example; this.universes[this.selected_universe].global.candidate = random_example; + this.line_numbers_checkbox.checked = this.settings.line_numbers; + this.time_position_checkbox.checked = this.settings.time_position; + if (!this.settings.time_position) { + document.getElementById('timeviewer')!.classList.add('hidden'); + } + + // ================================================================================ // Audio context and clock // ================================================================================