Wider default editor, better LSP logs
This commit is contained in:
parent
daf21c64e4
commit
eb0a3f0231
|
|
@ -51,7 +51,7 @@ const fixedHeightEditor = EditorView.theme({
|
||||||
minHeight: "1em",
|
minHeight: "1em",
|
||||||
resize: "horizontal",
|
resize: "horizontal",
|
||||||
overflow: "auto",
|
overflow: "auto",
|
||||||
width: "768px",
|
width: "864px",
|
||||||
minWidth: "8em",
|
minWidth: "8em",
|
||||||
flex: "none",
|
flex: "none",
|
||||||
fontSize: "16px",
|
fontSize: "16px",
|
||||||
|
|
@ -184,7 +184,7 @@ export class Editor extends Displayable {
|
||||||
} catch (err) {
|
} catch (err) {
|
||||||
console.warn("Failed to apply LSP extension:", err);
|
console.warn("Failed to apply LSP extension:", err);
|
||||||
}
|
}
|
||||||
});
|
}).catch((err) => console.warn("Failed to create LSP extension:",err));
|
||||||
});
|
});
|
||||||
|
|
||||||
van.derive(() => {
|
van.derive(() => {
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue