diff options
| author | Rubén Rincón Blanco <ruben@rinconblanco.es> | 2022-02-19 21:33:36 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-19 21:33:36 +0100 |
| commit | bd4dfc9456db4d5538d0fd2897b8d6e93a82f2df (patch) | |
| tree | 7ba0c94c6a01f36d7052d6b4e3780e841a0a6071 | |
| parent | 57ec09a7d2cae24399c14e411881f62926f7be91 (diff) | |
| download | compiler-explorer-gh-2044.tar.gz compiler-explorer-gh-2044.zip | |
Fix timing info widget dark theme check (#3379)gh-2044
| -rw-r--r-- | static/timing-info-widget.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/static/timing-info-widget.js b/static/timing-info-widget.js index 93eced94a..449c7a620 100644 --- a/static/timing-info-widget.js +++ b/static/timing-info-widget.js @@ -138,7 +138,7 @@ function displayData(data) { var settings = Settings.getStoredSettings(); var fontColour = Chart.defaults.color; - if (settings != null && settings.theme === 'dark') { + if (settings != null && settings.theme !== 'default') { fontColour = '#ffffff'; } |