lean4monaco 1.0.25 → 1.0.26
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/dist/editor.d.ts
CHANGED
|
@@ -1,7 +1,6 @@
|
|
|
1
1
|
import { ITextFileEditorModel } from 'vscode/monaco';
|
|
2
2
|
import * as monaco from 'monaco-editor';
|
|
3
3
|
import { IReference } from '@codingame/monaco-vscode-editor-service-override';
|
|
4
|
-
import './editor.css';
|
|
5
4
|
export declare class LeanMonacoEditor {
|
|
6
5
|
editor: monaco.editor.IStandaloneCodeEditor;
|
|
7
6
|
modelRef: IReference<ITextFileEditorModel>;
|
package/dist/editor.js
CHANGED
|
Binary file
|
package/dist/leanmonaco.js
CHANGED
|
@@ -109,7 +109,10 @@ export class LeanMonaco {
|
|
|
109
109
|
// Load fonts
|
|
110
110
|
const fontFiles = [
|
|
111
111
|
new FontFace("JuliaMono", `url(${new URL("./fonts/JuliaMono-Regular.ttf", import.meta.url)})`),
|
|
112
|
-
new FontFace(
|
|
112
|
+
// new FontFace(
|
|
113
|
+
// "LeanWeb",
|
|
114
|
+
// `url(${new URL("./fonts/LeanWeb-Regular.otf", import.meta.url)})`,
|
|
115
|
+
// )
|
|
113
116
|
];
|
|
114
117
|
fontFiles.map(font => {
|
|
115
118
|
document.fonts.add(font);
|
|
@@ -135,7 +138,7 @@ export class LeanMonaco {
|
|
|
135
138
|
"editor.acceptSuggestionOnEnter": "off", // since there are plenty suggestions
|
|
136
139
|
// other options
|
|
137
140
|
"editor.renderWhitespace": "trailing",
|
|
138
|
-
"editor.fontFamily": "'
|
|
141
|
+
"editor.fontFamily": "'JuliaMono'",
|
|
139
142
|
"editor.wordWrap": "on",
|
|
140
143
|
"editor.wrappingStrategy": "advanced",
|
|
141
144
|
"workbench.colorTheme": "Visual Studio Light",
|