BuboBubo/topos
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

punctuation is more readable

Browse Source
This commit is contained in:
Raphaël Forment
2023-12-17 17:41:10 +01:00
parent 88ceb99bae
commit ffaf7ea157
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/EditorSetup.ts
View File

@ -150,9 +150,9 @@ export const getCodeMirrorTheme = (theme: {[key: string]: string}): Extension =>
{ tag: t.keyword, color: yellow }, { tag: t.keyword, color: yellow },
{ tag: [t.name, t.deleted, t.character, t.macroName], color: red, }, { tag: [t.name, t.deleted, t.character, t.macroName], color: red, },
{ tag: [t.function(t.variableName)], color: blue }, { tag: [t.function(t.variableName)], color: blue },
{ tag: [t.labelName], color: red }, { tag: [t.labelName], color: brightwhite },
{ tag: [t.color, t.constant(t.name), t.standard(t.name)], color: cyan, }, { tag: [t.color, t.constant(t.name), t.standard(t.name)], color: cyan, },
{ tag: [t.definition(t.name), t.separator], color: magenta }, { tag: [t.definition(t.name), t.separator], color: brightwhite },
{ tag: [t.brace], color: white }, { tag: [t.brace], color: white },
{ tag: [t.annotation], color: blue, }, { tag: [t.annotation], color: blue, },
{ tag: [t.number, t.changed, t.annotation, t.modifier, t.self, t.namespace], color: yellow, }, { tag: [t.number, t.changed, t.annotation, t.modifier, t.self, t.namespace], color: yellow, },
@ -226,7 +226,7 @@ export const getCodeMirrorTheme = (theme: {[key: string]: string}): Extension =>
// pointerEvents: "none", // pointerEvents: "none",
// }, // },
// }); // });
//
// const debugHighlightStyle = HighlightStyle.define( // const debugHighlightStyle = HighlightStyle.define(
// // @ts-ignore // // @ts-ignore
// Object.entries(t).map(([key, value]) => { // Object.entries(t).map(([key, value]) => {