tomasz1986 34d91b228d

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>

2022-10-10 23:01:37 +02:00

..

dev.css

gui: Prevent log bar from flashing up while page is loading

2016-05-30 13:16:15 +00:00

overrides.css

gui: Allow automatic device ID selection on WebKit browsers (ref #8544) (#8597)

2022-10-10 23:01:37 +02:00

theme.css

lib/api: Make theme paths relative (#6142)

2019-11-09 12:07:46 +00:00

tree.css

gui: Tweak the Restore Versions modal for better usability (#7972)

2022-01-25 23:08:27 +01:00