Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
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>
- Loading branch information