mirror of
https://github.com/syncthing/syncthing.git
synced 2026-02-07 04:32:28 -05:00
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>