From 347ba056e4f65c98087dd15e2d9c0a46de52e565 Mon Sep 17 00:00:00 2001 From: Raphael Forment Date: Fri, 25 Aug 2023 08:49:50 +0200 Subject: [PATCH] Making life better for phone users --- index.html | 5 ++++- src/main.ts | 9 ++++----- 2 files changed, 8 insertions(+), 6 deletions(-) diff --git a/index.html b/index.html index 3bac216..deb7bfd 100644 --- a/index.html +++ b/index.html @@ -255,6 +255,7 @@ + + diff --git a/src/main.ts b/src/main.ts index 0ce5cf9..b6e8842 100644 --- a/src/main.ts +++ b/src/main.ts @@ -92,19 +92,19 @@ export class Editor { // Transport elements play_buttons: HTMLButtonElement[] = [ document.getElementById("play-button-1") as HTMLButtonElement, - document.getElementById("play-button-2") as HTMLButtonElement, + //document.getElementById("play-button-2") as HTMLButtonElement, ]; pause_buttons: HTMLButtonElement[] = [ document.getElementById("pause-button-1") as HTMLButtonElement, - document.getElementById("pause-button-2") as HTMLButtonElement, + //document.getElementById("pause-button-2") as HTMLButtonElement, ]; stop_buttons: HTMLButtonElement[] = [ document.getElementById("stop-button-1") as HTMLButtonElement, - document.getElementById("stop-button-2") as HTMLButtonElement, + //document.getElementById("stop-button-2") as HTMLButtonElement, ]; clear_buttons: HTMLButtonElement[] = [ document.getElementById("clear-button-1") as HTMLButtonElement, - document.getElementById("clear-button-2") as HTMLButtonElement, + //document.getElementById("clear-button-2") as HTMLButtonElement, ]; documentation_button: HTMLButtonElement = document.getElementById( "doc-button-1" @@ -597,7 +597,6 @@ export class Editor { }); this.changeModeFromInterface("global"); - } get note_buffer() {