diff --git a/tonalmine/javascripts/theme.js b/tonalmine/javascripts/theme.js index 0ca85d3..65e67ef 100644 --- a/tonalmine/javascripts/theme.js +++ b/tonalmine/javascripts/theme.js @@ -1,5 +1,5 @@ /* - * tonalmine: per-user appearance (mode, contrast, color palette). + * tonalmine: per-user appearance (mode, contrast, size, color palette). * * Redmine loads this file in
, so the saved choice is applied before the page renders * (no flash of the default colors). The picker is added to the profile menu and the mobile @@ -18,9 +18,10 @@ ]; var MODES = [['auto', 'Auto'], ['light', 'Light'], ['dark', 'Dark']]; var CONTRASTS = [['standard', 'Standard'], ['medium', 'Medium'], ['high', 'High']]; + var SIZES = [['compact', 'Compact'], ['normal', 'Normal'], ['large', 'Large']]; var KEY = 'tonalmine'; var CUSTOM_SEL = ':root[data-palette="custom"]'; - var DEFAULT_KEYS = ['mode', 'contrast', 'palette', 'seed', 'css']; + var DEFAULT_KEYS = ['mode', 'contrast', 'size', 'palette', 'seed', 'css']; var root = document.documentElement; function load() { @@ -34,6 +35,8 @@ else root.removeAttribute('data-mode'); if (prefs.contrast === 'medium' || prefs.contrast === 'high') root.setAttribute('data-contrast', prefs.contrast); else root.removeAttribute('data-contrast'); + if (prefs.size === 'compact' || prefs.size === 'large') root.setAttribute('data-size', prefs.size); + else root.removeAttribute('data-size'); // The custom palette's rules are generated once (see withScheme) and kept with the prefs. if (prefs.palette === 'custom' && prefs.css) { var style = document.getElementById('nm-custom-palette'); @@ -73,7 +76,7 @@ // palette, seed and css form one part: a custom palette brings its own generated CSS. function merge(base, top) { var src = top.palette ? top : base; - return { mode: top.mode || base.mode, contrast: top.contrast || base.contrast, + return { mode: top.mode || base.mode, contrast: top.contrast || base.contrast, size: top.size || base.size, palette: src.palette, seed: src.seed, css: src.css }; } @@ -130,6 +133,7 @@ function pickerHtml(prefs, isDefault) { var mode = prefs.mode || 'auto'; var contrast = prefs.contrast || 'standard'; + var size = prefs.size || 'normal'; var palette = prefs.palette || PALETTES[0][0]; return '