diff options
author | tomasz1986 <twilczynski@naver.com> | 2022-10-10 23:01:37 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-10-10 23:01:37 +0200 |
commit | 34d91b228d023e7a8d6ba4c8d39cfc7772feb870 (patch) | |
tree | d6f6f1d69984ac6d47dcd6823cc7d9d135250af5 | |
parent | fb6a35c98c89c252c704bbfc1607c514ab7cac46 (diff) |
gui: Allow automatic device ID selection on WebKit browsers (ref #8544) (#8597)
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 <twilczynski@naver.com>
-rw-r--r-- | gui/default/assets/css/overrides.css | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gui/default/assets/css/overrides.css b/gui/default/assets/css/overrides.css index 0afa7ece9c..74b8df56f3 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; } |