From 76173334a36c83fa34136c20388a254060feae49 Mon Sep 17 00:00:00 2001 From: Paulus Schoutsen Date: Wed, 10 Nov 2021 16:25:11 -0800 Subject: [PATCH 1/2] Remove send button as it was not hooked up --- src/components/ewt-console.ts | 1 - 1 file changed, 1 deletion(-) diff --git a/src/components/ewt-console.ts b/src/components/ewt-console.ts index f55f2efc..5b3b9b43 100644 --- a/src/components/ewt-console.ts +++ b/src/components/ewt-console.ts @@ -126,7 +126,6 @@ export class EwtConsole extends HTMLElement {
> -
`; From df003a1e47af63578bdf9e07cf6bff2bd25baf1b Mon Sep 17 00:00:00 2001 From: Paulus Schoutsen Date: Wed, 10 Nov 2021 16:30:33 -0800 Subject: [PATCH 2/2] Allow copy paste of the logs --- src/components/ewt-console.ts | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/src/components/ewt-console.ts b/src/components/ewt-console.ts index 5b3b9b43..3ccadc72 100644 --- a/src/components/ewt-console.ts +++ b/src/components/ewt-console.ts @@ -132,7 +132,12 @@ export class EwtConsole extends HTMLElement { this._console = new ColoredConsole(this.shadowRoot!.querySelector("div")!); const input = this.shadowRoot!.querySelector("input")!; - this.addEventListener("click", () => input.focus()); + this.addEventListener("click", () => { + // Only focus input if user didn't select some text + if (getSelection()?.toString() === "") { + input.focus(); + } + }); input.addEventListener("keydown", (ev) => { if (ev.key === "Enter") {