From 34d91b228d023e7a8d6ba4c8d39cfc7772feb870 Mon Sep 17 00:00:00 2001 From: tomasz1986 Date: Mon, 10 Oct 2022 23:01:37 +0200 Subject: [PATCH] gui: Allow automatic device ID selection on WebKit browsers (ref #8544) (#8597) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Some WebKit browsers select more than needed when using double click to select device IDs, e.g. new lines and white space. This commit adds a prefixed version of user-select in CSS in order to add support for those browsers and allow them to select just device IDs automatically. Signed-off-by: Tomasz Wilczyński --- gui/default/assets/css/overrides.css | 1 + 1 file changed, 1 insertion(+) diff --git a/gui/default/assets/css/overrides.css b/gui/default/assets/css/overrides.css index 0afa7ece9cb..74b8df56f3e 100644 --- a/gui/default/assets/css/overrides.css +++ b/gui/default/assets/css/overrides.css @@ -550,5 +550,6 @@ html[lang|="ko"] i { } .select-on-click { + -webkit-user-select: all; user-select: all; }