tomasz1986 5baf5fedb5 gui: Replace JS select-on-click with CSS user-select (fixes #3868) (#8544) ... Currently, a custom JS script is used to select the whole device ID on click. However, the current script isn't compatible with all browsers (and in IE in particular), making it impossible to select the ID in them at all. Additionally, the same functionality is already available in CSS with no such drawbacks, as the whole selection process is handled by the Web browser natively, which is lightweight and does not require custom code. Thus, remove the currently used JS script completely, replacing it with a new CSS class that can be added to an element when required. If the browser does not support the CSS, the user can still select the element manually, which makes it safer than the current behaviour that can block the user from being able to select the element at all. Signed-off-by: Tomasz Wilczyński <twilczynski@naver.com>		2022-09-20 11:37:34 +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: Replace JS select-on-click with CSS user-select (fixes #3868) (#8544)	2022-09-20 11:37:34 +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