Personal_mirrors/bitburner-src
1
0
Fork 0
mirror of https://github.com/bitburner-official/bitburner-src.git synced 2024-11-30 03:23:48 +01:00
Code Issues Packages Projects Releases Wiki Activity

fix ts

Browse Source
This commit is contained in:
Billy Vong 2021-12-20 10:45:44 -05:00
parent 517066a710
commit 6641ca9c73
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/ScriptEditor/ui/ScriptEditorRoot.tsx
View File

@ -45,7 +45,7 @@ interface IProps {
hostname: string;
player: IPlayer;
router: IRouter;
vim: boolean;
vim?: boolean;
}
// TODO: try to removve global symbols
@ -703,12 +703,14 @@ export function Root(props: IProps): React.ReactElement {
theme: Settings.MonacoTheme,
insertSpaces: Settings.MonacoInsertSpaces,
fontSize: Settings.MonacoFontSize,
vim: Settings.MonacoVim,
}}
save={(options: Options) => {
setOptions(options);
Settings.MonacoTheme = options.theme;
Settings.MonacoInsertSpaces = options.insertSpaces;
Settings.MonacoFontSize = options.fontSize;
Settings.MonacoVim = options.vim;
}}
/>
</div>