thevar1able/ClickHouse
1
0
Fork 0
mirror of https://github.com/ClickHouse/ClickHouse.git synced 2024-09-21 09:10:48 +00:00
Code Issues Packages Projects Releases Wiki Activity

Automatic support for dark theme in Play interface

Browse Source
This commit is contained in:
Alexey Milovidov 2020-12-13 20:54:57 +03:00
parent a714b82f9b
commit 149431ffc3
1 changed files with 17 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
programs/server/play.html
View File

@ -534,6 +534,23 @@
var theme = window.localStorage.getItem('theme'); var theme = window.localStorage.getItem('theme');
if (theme) { if (theme) {
setColorTheme(theme); setColorTheme(theme);
} else {
/// Obtain system-level user preference
var media_query_list = window.matchMedia('prefers-color-scheme: dark')
if (media_query_list.matches) {
/// Set without saving to localstorage
document.documentElement.setAttribute('data-theme', 'dark');
}
/// There is a rumor that on some computers, the theme is changing automatically on day/night.
media_query_list.addEventListener('change', function(e) {
if (e.matches) {
document.documentElement.setAttribute('data-theme', 'dark');
} else {
document.documentElement.setAttribute('data-theme', 'light');
}
});
} }
document.getElementById('toggle-light').onclick = function() document.getElementById('toggle-light').onclick = function()