2018-03-09 22:59:12 +02:00
|
|
|
const Setting = require('lib/models/Setting.js');
|
2020-04-07 10:19:53 +02:00
|
|
|
|
|
|
|
const themes = {
|
|
|
|
[Setting.THEME_LIGHT]: require('./gui/style/theme/light'),
|
|
|
|
[Setting.THEME_DARK]: require('./gui/style/theme/dark'),
|
|
|
|
[Setting.THEME_DRACULA]: require('./gui/style/theme/dracula'),
|
|
|
|
[Setting.THEME_SOLARIZED_LIGHT]: require('./gui/style/theme/solarizedLight'),
|
|
|
|
[Setting.THEME_SOLARIZED_DARK]: require('./gui/style/theme/solarizedDark'),
|
|
|
|
[Setting.THEME_NORD]: require('./gui/style/theme/nord'),
|
2020-04-07 11:23:40 +02:00
|
|
|
[Setting.THEME_ARITIM_DARK]: require('./gui/style/theme/aritimDark'),
|
2020-04-07 10:19:53 +02:00
|
|
|
};
|
2017-11-06 22:54:58 +02:00
|
|
|
|
2018-11-08 00:37:13 +02:00
|
|
|
// globalStyle should be used for properties that do not change across themes
|
|
|
|
// i.e. should not be used for colors
|
2017-11-06 22:54:58 +02:00
|
|
|
const globalStyle = {
|
2019-01-10 20:34:58 +02:00
|
|
|
fontSize: 12,
|
2018-03-09 22:59:12 +02:00
|
|
|
fontFamily: 'sans-serif',
|
2017-11-06 22:54:58 +02:00
|
|
|
margin: 15, // No text and no interactive component should be within this margin
|
|
|
|
itemMarginTop: 10,
|
|
|
|
itemMarginBottom: 10,
|
|
|
|
fontSizeSmaller: 14,
|
|
|
|
disabledOpacity: 0.3,
|
2017-11-08 19:51:55 +02:00
|
|
|
buttonMinWidth: 50,
|
|
|
|
buttonMinHeight: 30,
|
2019-01-10 20:34:58 +02:00
|
|
|
editorFontSize: 12,
|
|
|
|
textAreaLineHeight: 17,
|
2017-11-06 22:54:58 +02:00
|
|
|
|
2017-11-09 00:23:26 +02:00
|
|
|
headerHeight: 35,
|
|
|
|
headerButtonHPadding: 6,
|
|
|
|
|
2017-11-30 01:03:10 +02:00
|
|
|
toolbarHeight: 35,
|
2018-11-08 00:16:05 +02:00
|
|
|
tagItemPadding: 3,
|
2017-11-06 22:54:58 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
globalStyle.marginRight = globalStyle.margin;
|
|
|
|
globalStyle.marginLeft = globalStyle.margin;
|
|
|
|
globalStyle.marginTop = globalStyle.margin;
|
|
|
|
globalStyle.marginBottom = globalStyle.margin;
|
2019-09-19 23:51:18 +02:00
|
|
|
globalStyle.htmlMarginLeft = `${((globalStyle.marginLeft / 10) * 0.6).toFixed(2)}em`;
|
2017-11-06 22:54:58 +02:00
|
|
|
|
|
|
|
globalStyle.icon = {
|
|
|
|
fontSize: 30,
|
|
|
|
};
|
|
|
|
|
|
|
|
globalStyle.lineInput = {
|
2018-03-26 19:33:55 +02:00
|
|
|
fontFamily: globalStyle.fontFamily,
|
2019-05-06 22:35:29 +02:00
|
|
|
maxHeight: 22,
|
|
|
|
height: 22,
|
|
|
|
paddingLeft: 5,
|
2017-11-06 22:54:58 +02:00
|
|
|
};
|
|
|
|
|
2019-01-28 01:15:56 +02:00
|
|
|
globalStyle.headerStyle = {
|
|
|
|
fontFamily: globalStyle.fontFamily,
|
|
|
|
};
|
2018-11-08 00:37:13 +02:00
|
|
|
|
|
|
|
globalStyle.inputStyle = {
|
|
|
|
border: '1px solid',
|
2019-04-01 21:43:13 +02:00
|
|
|
height: 24,
|
2019-05-06 22:35:29 +02:00
|
|
|
maxHeight: 24,
|
2019-04-01 21:43:13 +02:00
|
|
|
paddingLeft: 5,
|
|
|
|
paddingRight: 5,
|
|
|
|
boxSizing: 'border-box',
|
2018-11-08 00:37:13 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
globalStyle.containerStyle = {
|
|
|
|
overflow: 'auto',
|
|
|
|
overflowY: 'auto',
|
|
|
|
};
|
|
|
|
|
|
|
|
globalStyle.buttonStyle = {
|
2019-05-06 22:35:29 +02:00
|
|
|
// marginRight: 10,
|
2018-11-08 00:37:13 +02:00
|
|
|
border: '1px solid',
|
2019-05-06 22:35:29 +02:00
|
|
|
minHeight: 26,
|
2019-01-28 01:44:16 +02:00
|
|
|
minWidth: 80,
|
2020-03-13 19:42:50 +02:00
|
|
|
// maxWidth: 220,
|
2019-01-29 20:02:34 +02:00
|
|
|
paddingLeft: 12,
|
|
|
|
paddingRight: 12,
|
2019-09-11 01:53:01 +02:00
|
|
|
paddingTop: 6,
|
|
|
|
paddingBottom: 6,
|
2019-05-06 22:35:29 +02:00
|
|
|
boxShadow: '0px 1px 1px rgba(0,0,0,0.3)',
|
2019-09-11 01:53:01 +02:00
|
|
|
fontSize: globalStyle.fontSize,
|
|
|
|
borderRadius: 4,
|
2018-11-08 00:37:13 +02:00
|
|
|
};
|
|
|
|
|
2018-11-08 00:47:34 +02:00
|
|
|
function addExtraStyles(style) {
|
|
|
|
style.tagStyle = {
|
|
|
|
fontSize: style.fontSize,
|
|
|
|
fontFamily: style.fontFamily,
|
|
|
|
marginTop: style.itemMarginTop * 0.4,
|
|
|
|
marginBottom: style.itemMarginBottom * 0.4,
|
|
|
|
marginRight: style.margin * 0.3,
|
|
|
|
paddingTop: style.tagItemPadding,
|
|
|
|
paddingBottom: style.tagItemPadding,
|
|
|
|
paddingRight: style.tagItemPadding * 2,
|
|
|
|
paddingLeft: style.tagItemPadding * 2,
|
|
|
|
backgroundColor: style.raisedBackgroundColor,
|
|
|
|
color: style.raisedColor,
|
|
|
|
};
|
|
|
|
|
2019-01-10 20:34:58 +02:00
|
|
|
style.toolbarStyle = {
|
|
|
|
height: style.toolbarHeight,
|
2019-03-15 23:57:58 +02:00
|
|
|
// minWidth: style.toolbarHeight,
|
2019-01-10 20:34:58 +02:00
|
|
|
display: 'flex',
|
|
|
|
alignItems: 'center',
|
|
|
|
paddingLeft: style.headerButtonHPadding,
|
|
|
|
paddingRight: style.headerButtonHPadding,
|
|
|
|
textDecoration: 'none',
|
|
|
|
fontFamily: style.fontFamily,
|
|
|
|
fontSize: style.fontSize,
|
|
|
|
boxSizing: 'border-box',
|
|
|
|
cursor: 'default',
|
|
|
|
justifyContent: 'center',
|
|
|
|
color: style.color,
|
2019-03-15 23:57:58 +02:00
|
|
|
whiteSpace: 'nowrap',
|
2019-01-10 20:34:58 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
style.textStyle = {
|
|
|
|
fontFamily: globalStyle.fontFamily,
|
|
|
|
fontSize: style.fontSize,
|
|
|
|
lineHeight: '1.6em',
|
2019-07-30 09:35:42 +02:00
|
|
|
color: style.color,
|
2019-01-10 20:34:58 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
style.textStyle2 = Object.assign({}, style.textStyle,
|
2019-07-30 09:35:42 +02:00
|
|
|
{ color: style.color2 }
|
2019-01-10 20:34:58 +02:00
|
|
|
);
|
|
|
|
|
2020-04-02 19:16:11 +02:00
|
|
|
style.textStyleMinor = Object.assign({}, style.textStyle,
|
|
|
|
{
|
|
|
|
color: style.colorFaded,
|
|
|
|
fontSize: style.fontSize * 0.8,
|
|
|
|
},
|
|
|
|
);
|
|
|
|
|
2019-01-10 20:34:58 +02:00
|
|
|
style.urlStyle = Object.assign({}, style.textStyle,
|
|
|
|
{
|
|
|
|
textDecoration: 'underline',
|
2019-07-30 09:35:42 +02:00
|
|
|
color: style.urlColor,
|
2019-01-10 20:34:58 +02:00
|
|
|
}
|
|
|
|
);
|
|
|
|
|
|
|
|
style.h1Style = Object.assign({},
|
|
|
|
style.textStyle,
|
|
|
|
{
|
|
|
|
color: style.color,
|
|
|
|
fontSize: style.textStyle.fontSize * 1.5,
|
2019-07-30 09:35:42 +02:00
|
|
|
fontWeight: 'bold',
|
2019-01-10 20:34:58 +02:00
|
|
|
}
|
|
|
|
);
|
|
|
|
|
|
|
|
style.h2Style = Object.assign({},
|
|
|
|
style.textStyle,
|
|
|
|
{
|
|
|
|
color: style.color,
|
|
|
|
fontSize: style.textStyle.fontSize * 1.3,
|
2019-07-30 09:35:42 +02:00
|
|
|
fontWeight: 'bold',
|
2019-01-10 20:34:58 +02:00
|
|
|
}
|
|
|
|
);
|
|
|
|
|
2019-04-01 21:43:13 +02:00
|
|
|
style.dialogModalLayer = {
|
|
|
|
zIndex: 9999,
|
|
|
|
display: 'flex',
|
|
|
|
position: 'absolute',
|
|
|
|
top: 0,
|
|
|
|
left: 0,
|
|
|
|
width: '100%',
|
|
|
|
height: '100%',
|
|
|
|
backgroundColor: 'rgba(0,0,0,0.6)',
|
|
|
|
alignItems: 'flex-start',
|
|
|
|
justifyContent: 'center',
|
|
|
|
};
|
|
|
|
|
2020-02-25 11:43:31 +02:00
|
|
|
style.controlBox = {
|
|
|
|
marginBottom: '1em',
|
|
|
|
color: 'black', // This will apply for the calendar
|
|
|
|
display: 'flex',
|
|
|
|
flexDirection: 'row',
|
|
|
|
alignItems: 'center',
|
|
|
|
};
|
|
|
|
|
|
|
|
style.controlBoxLabel = {
|
|
|
|
marginRight: '1em',
|
|
|
|
width: '10em',
|
|
|
|
display: 'inline-block',
|
|
|
|
fontWeight: 'bold',
|
|
|
|
};
|
|
|
|
|
|
|
|
style.controlBoxValue = {
|
|
|
|
display: 'inline-block',
|
|
|
|
};
|
|
|
|
|
2019-04-01 21:43:13 +02:00
|
|
|
style.dialogBox = {
|
|
|
|
backgroundColor: style.backgroundColor,
|
|
|
|
padding: 16,
|
|
|
|
boxShadow: '6px 6px 20px rgba(0,0,0,0.5)',
|
|
|
|
marginTop: 20,
|
2020-04-22 00:57:04 +02:00
|
|
|
maxHeight: '80%',
|
|
|
|
display: 'flex',
|
|
|
|
flexDirection: 'column',
|
|
|
|
overflow: 'auto',
|
2019-07-30 09:35:42 +02:00
|
|
|
};
|
2019-04-01 21:43:13 +02:00
|
|
|
|
2019-07-21 17:49:53 +02:00
|
|
|
style.buttonIconStyle = {
|
|
|
|
color: style.color,
|
|
|
|
marginRight: 6,
|
2019-07-30 09:35:42 +02:00
|
|
|
};
|
2019-07-21 17:49:53 +02:00
|
|
|
|
2020-04-08 12:12:25 +02:00
|
|
|
style.notificationBox = {
|
|
|
|
backgroundColor: style.warningBackgroundColor,
|
|
|
|
display: 'flex',
|
|
|
|
alignItems: 'center',
|
|
|
|
padding: 10,
|
|
|
|
fontSize: style.fontSize,
|
|
|
|
};
|
|
|
|
|
2019-04-01 21:43:13 +02:00
|
|
|
style.dialogTitle = Object.assign({}, style.h1Style, { marginBottom: '1.2em' });
|
|
|
|
|
2019-05-06 22:35:29 +02:00
|
|
|
style.dropdownList = Object.assign({}, style.inputStyle);
|
|
|
|
|
2020-04-03 20:12:14 +02:00
|
|
|
style.colorHover = style.color;
|
|
|
|
style.backgroundHover = `${style.selectedColor2}44`;
|
|
|
|
|
2019-09-11 01:53:01 +02:00
|
|
|
// In general the highlighted color, used to highlight text or icons, should be the same as selectedColor2
|
|
|
|
// but some times, depending on the theme, it might be too dark or too light, so it can be
|
|
|
|
// specified directly by the theme too.
|
|
|
|
if (!style.highlightedColor) style.highlightedColor = style.selectedColor2;
|
|
|
|
|
2018-11-08 00:47:34 +02:00
|
|
|
return style;
|
|
|
|
}
|
2018-11-08 00:16:05 +02:00
|
|
|
|
2020-03-14 01:46:14 +02:00
|
|
|
const themeCache_ = {};
|
2017-11-06 22:54:58 +02:00
|
|
|
|
|
|
|
function themeStyle(theme) {
|
2018-03-09 22:59:12 +02:00
|
|
|
if (!theme) throw new Error('Theme must be specified');
|
2019-01-10 20:34:58 +02:00
|
|
|
|
2020-03-14 01:46:14 +02:00
|
|
|
const zoomRatio = 1; // Setting.value('style.zoom') / 100;
|
|
|
|
const editorFontSize = Setting.value('style.editor.fontSize');
|
2019-01-10 20:34:58 +02:00
|
|
|
|
|
|
|
const cacheKey = [theme, zoomRatio, editorFontSize].join('-');
|
|
|
|
if (themeCache_[cacheKey]) return themeCache_[cacheKey];
|
|
|
|
|
2019-06-06 00:11:18 +02:00
|
|
|
// Font size are not theme specific, but they must be referenced
|
|
|
|
// and computed here to allow them to respond to settings changes
|
|
|
|
// without the need to restart
|
2020-03-14 01:46:14 +02:00
|
|
|
const fontSizes = {
|
2019-06-06 00:11:18 +02:00
|
|
|
fontSize: Math.round(globalStyle.fontSize * zoomRatio),
|
2019-01-10 20:34:58 +02:00
|
|
|
editorFontSize: editorFontSize,
|
2019-06-06 00:11:18 +02:00
|
|
|
textAreaLineHeight: Math.round(globalStyle.textAreaLineHeight * editorFontSize / 12),
|
2019-01-10 20:34:58 +02:00
|
|
|
|
|
|
|
// For WebView - must correspond to the properties above
|
2019-09-19 23:51:18 +02:00
|
|
|
htmlFontSize: `${Math.round(15 * zoomRatio)}px`,
|
2019-10-09 21:35:13 +02:00
|
|
|
htmlLineHeight: '1.6em', // Math.round(20 * zoomRatio) + 'px'
|
2019-02-06 01:55:09 +02:00
|
|
|
|
|
|
|
htmlCodeFontSize: '.9em',
|
2019-07-30 09:35:42 +02:00
|
|
|
};
|
2017-11-06 22:54:58 +02:00
|
|
|
|
2018-11-08 00:37:13 +02:00
|
|
|
let output = {};
|
2019-01-10 20:34:58 +02:00
|
|
|
output.zoomRatio = zoomRatio;
|
|
|
|
output.editorFontSize = editorFontSize;
|
2019-07-29 12:05:58 +02:00
|
|
|
|
|
|
|
// All theme are based on the light style, and just override the
|
|
|
|
// relevant properties
|
2020-04-07 10:19:53 +02:00
|
|
|
output = Object.assign({}, globalStyle, fontSizes, themes[Setting.THEME_LIGHT], themes[theme]);
|
2018-11-08 00:37:13 +02:00
|
|
|
|
2019-01-18 19:56:56 +02:00
|
|
|
// Note: All the theme specific things should go in addExtraStyles
|
2018-11-08 00:47:34 +02:00
|
|
|
// so that their definition is not split between here and the
|
|
|
|
// beginning of the file. At least new styles should go in
|
|
|
|
// addExtraStyles.
|
|
|
|
|
2018-11-08 00:37:13 +02:00
|
|
|
output.icon = Object.assign({},
|
|
|
|
output.icon,
|
|
|
|
{ color: output.color }
|
|
|
|
);
|
|
|
|
|
|
|
|
output.lineInput = Object.assign({},
|
|
|
|
output.lineInput,
|
|
|
|
{
|
|
|
|
color: output.color,
|
|
|
|
backgroundColor: output.backgroundColor,
|
|
|
|
}
|
|
|
|
);
|
|
|
|
|
|
|
|
output.headerStyle = Object.assign({},
|
|
|
|
output.headerStyle,
|
|
|
|
{
|
|
|
|
color: output.color,
|
|
|
|
backgroundColor: output.backgroundColor,
|
|
|
|
}
|
|
|
|
);
|
2017-11-06 22:54:58 +02:00
|
|
|
|
2018-11-08 00:37:13 +02:00
|
|
|
output.inputStyle = Object.assign({},
|
|
|
|
output.inputStyle,
|
|
|
|
{
|
|
|
|
color: output.color,
|
|
|
|
backgroundColor: output.backgroundColor,
|
|
|
|
borderColor: output.dividerColor,
|
|
|
|
}
|
|
|
|
);
|
2017-11-06 22:54:58 +02:00
|
|
|
|
2018-11-08 00:37:13 +02:00
|
|
|
output.containerStyle = Object.assign({},
|
|
|
|
output.containerStyle,
|
|
|
|
{
|
|
|
|
color: output.color,
|
|
|
|
backgroundColor: output.backgroundColor,
|
|
|
|
}
|
|
|
|
);
|
2017-11-06 22:54:58 +02:00
|
|
|
|
2018-11-08 00:37:13 +02:00
|
|
|
output.buttonStyle = Object.assign({},
|
|
|
|
output.buttonStyle,
|
|
|
|
{
|
|
|
|
color: output.color,
|
|
|
|
backgroundColor: output.backgroundColor,
|
|
|
|
borderColor: output.dividerColor,
|
2020-04-08 12:12:25 +02:00
|
|
|
userSelect: 'none',
|
2018-11-08 00:37:13 +02:00
|
|
|
}
|
|
|
|
);
|
2017-11-06 22:54:58 +02:00
|
|
|
|
2018-11-08 00:47:34 +02:00
|
|
|
output = addExtraStyles(output);
|
|
|
|
|
2019-01-10 20:34:58 +02:00
|
|
|
themeCache_[cacheKey] = output;
|
|
|
|
return themeCache_[cacheKey];
|
2017-11-06 22:54:58 +02:00
|
|
|
}
|
|
|
|
|
2019-12-13 03:16:34 +02:00
|
|
|
const cachedStyles_ = {};
|
|
|
|
|
|
|
|
function buildStyle(cacheKey, themeId, callback) {
|
|
|
|
if (cachedStyles_[cacheKey]) cachedStyles_[cacheKey].style;
|
|
|
|
|
|
|
|
const s = callback(themeStyle(themeId));
|
|
|
|
|
|
|
|
cachedStyles_[cacheKey] = {
|
|
|
|
style: s,
|
|
|
|
timestamp: Date.now(),
|
|
|
|
};
|
|
|
|
|
|
|
|
return cachedStyles_[cacheKey].style;
|
|
|
|
}
|
|
|
|
|
|
|
|
module.exports = { themeStyle, buildStyle };
|