|
|
|
@ -290,7 +290,7 @@ export const EditorUI = (props: EditorUIProps) => { |
|
|
|
|
|
|
|
|
|
props.editorAPI.getFontSize = () => { |
|
|
|
|
if (!editorRef.current) return |
|
|
|
|
return editorRef.current.getOption(42).fontSize |
|
|
|
|
return editorRef.current.getOption(43).fontSize |
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
(window as any).addRemixBreakpoint = (position) => { // make it available from e2e testing...
|
|
|
|
@ -331,10 +331,10 @@ export const EditorUI = (props: EditorUIProps) => { |
|
|
|
|
} |
|
|
|
|
}) |
|
|
|
|
editor.addCommand(monacoRef.current.KeyMod.CtrlCmd | monacoRef.current.KeyCode.US_EQUAL, () => { |
|
|
|
|
editor.updateOptions({ fontSize: editor.getOption(42).fontSize + 1 }) |
|
|
|
|
editor.updateOptions({ fontSize: editor.getOption(43).fontSize + 1 }) |
|
|
|
|
}) |
|
|
|
|
editor.addCommand(monacoRef.current.KeyMod.CtrlCmd | monacoRef.current.KeyCode.US_MINUS, () => { |
|
|
|
|
editor.updateOptions({ fontSize: editor.getOption(42).fontSize - 1 }) |
|
|
|
|
editor.updateOptions({ fontSize: editor.getOption(43).fontSize - 1 }) |
|
|
|
|
}) |
|
|
|
|
} |
|
|
|
|
|
|
|
|
|