1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
|
import {
alpha,
createTheme,
type Components,
responsiveFontSizes,
type ThemeOptions,
ThemeProvider as MaterialUiThemeProvider,
} from '@mui/material/styles';
import { observer } from 'mobx-react-lite';
import React, { type ReactNode } from 'react';
import { useRootStore } from '../RootStore';
import EditorTheme from './EditorTheme';
interface HighlightStyles {
number: string;
parameter: string;
comment: string;
activeLine: string;
occurences: {
read: string;
write: string;
};
}
declare module '@mui/material/styles' {
interface Palette {
divider2: string;
selection: Palette['primary'];
highlight: HighlightStyles;
}
interface PaletteOptions {
divider2: string;
selection: PaletteOptions['primary'];
highlight: HighlightStyles;
}
}
function getMUIThemeOptions(currentTheme: EditorTheme): ThemeOptions {
const components: Components = {
MuiButton: {
styleOverrides: {
root: { borderRadius: '50em' },
text: { padding: '6px 16px' },
textSizeSmall: { padding: '4px 10px' },
textSizeLarge: { padding: '8px 22px' },
},
},
MuiToggleButtonGroup: {
styleOverrides: {
groupedHorizontal: {
borderRadius: '50em',
':first-of-type': { paddingLeft: 15 },
':last-of-type': { paddingRight: 15 },
'&.MuiToggleButton-sizeSmall': {
':first-of-type': { paddingLeft: 9 },
':last-of-type': { paddingRight: 9 },
},
'&.MuiToggleButton-sizeLarge': {
':first-of-type': { paddingLeft: 21 },
':last-of-type': { paddingRight: 21 },
},
},
},
},
};
switch (currentTheme) {
case EditorTheme.Light:
return {
components,
palette: {
mode: 'light',
primary: { main: '#0097a7' },
selection: {
main: '#c8e4fb',
contrastText: '#000',
},
divider2: '#d7d7d7',
highlight: {
number: '#1976d2',
parameter: '#6a3e3e',
comment: alpha('#000', 0.38),
activeLine: '#f5f5f5',
occurences: {
read: '#ceccf7',
write: '#f0d8a8',
},
},
},
};
case EditorTheme.Dark:
return {
components,
palette: {
mode: 'dark',
primary: { main: '#56b6c2' },
error: { main: '#e06c75' },
warning: { main: '#e5c07b' },
success: { main: '#57a470' },
info: { main: '#52b8ff' },
background: {
default: '#282c34',
paper: '#21252b',
},
text: {
primary: '#ebebff',
secondary: '#abb2bf',
disabled: '#4b5263',
},
divider: alpha('#abb2bf', 0.16),
divider2: '#181a1f',
selection: {
main: '#3e4453',
contrastText: '#fff',
},
highlight: {
number: '#6188a6',
parameter: '#c8ae9d',
comment: '#6b717d',
activeLine: '#21252b',
occurences: {
read: 'rgba(255, 255, 255, 0.15)',
write: 'rgba(255, 255, 128, 0.4)',
},
},
},
};
default:
throw new Error(`Unknown theme: ${currentTheme}`);
}
}
function ThemeProvider({ children }: { children?: ReactNode }) {
const {
themeStore: { currentTheme },
} = useRootStore();
const themeOptions = getMUIThemeOptions(currentTheme);
const theme = responsiveFontSizes(createTheme(themeOptions));
return (
<MaterialUiThemeProvider theme={theme}>{children}</MaterialUiThemeProvider>
);
}
ThemeProvider.defaultProps = {
children: undefined,
};
export default observer(ThemeProvider);
|
