From 51f62859ef0562d7f6b2c63391c9f992e12f0939 Mon Sep 17 00:00:00 2001 From: Alex Dima Date: Mon, 20 Jun 2016 23:55:52 +0200 Subject: [PATCH] Add high contrast theme option --- website/index.html | 1 + website/index/index.js | 4 ++-- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/website/index.html b/website/index.html index cd281bf9..83676ba8 100644 --- a/website/index.html +++ b/website/index.html @@ -81,6 +81,7 @@ diff --git a/website/index/index.js b/website/index/index.js index c7a9d36c..32fd7955 100644 --- a/website/index/index.js +++ b/website/index/index.js @@ -35,7 +35,7 @@ $(document).ready(function() { changeTheme(this.selectedIndex); }); $('.theme-picker').selectpicker({ - size: 2 + size: 3 }); loadDiffSample(); @@ -137,7 +137,7 @@ function loadDiffSample() { } function changeTheme(theme) { - var newTheme = (theme === 1 ? 'vs-dark' : 'vs'); + var newTheme = (theme === 1 ? 'vs-dark' : ( theme === 0 ? 'vs' : 'hc-black' )); if (editor) { editor.updateOptions({ 'theme' : newTheme }); }