no custom line height
This commit is contained in:
parent
357fbf8c82
commit
300022d8ac
2 changed files with 2 additions and 2 deletions
2
packages/codemirror/themes/algoboy.mjs
vendored
2
packages/codemirror/themes/algoboy.mjs
vendored
|
|
@ -12,7 +12,7 @@ export const settings = {
|
||||||
gutterBackground: 'transparent',
|
gutterBackground: 'transparent',
|
||||||
gutterForeground: '#0f380f',
|
gutterForeground: '#0f380f',
|
||||||
light: true,
|
light: true,
|
||||||
customStyle: '.cm-line { line-height: 1 }',
|
// customStyle: '.cm-line { line-height: 1 }',
|
||||||
};
|
};
|
||||||
export default createTheme({
|
export default createTheme({
|
||||||
theme: 'light',
|
theme: 'light',
|
||||||
|
|
|
||||||
2
packages/codemirror/themes/teletext.mjs
vendored
2
packages/codemirror/themes/teletext.mjs
vendored
|
|
@ -17,7 +17,7 @@ export const settings = {
|
||||||
lineBackground: '#00000040',
|
lineBackground: '#00000040',
|
||||||
gutterBackground: 'transparent',
|
gutterBackground: 'transparent',
|
||||||
gutterForeground: '#8a919966',
|
gutterForeground: '#8a919966',
|
||||||
customStyle: '.cm-line { line-height: 1 }',
|
// customStyle: '.cm-line { line-height: 1 }',
|
||||||
};
|
};
|
||||||
|
|
||||||
let punctuation = colorD;
|
let punctuation = colorD;
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue