File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -1969,11 +1969,12 @@ const loadSelectedScreen = () => {
19691969 return false ;
19701970} ;
19711971
1972- const getAllEditors = ( ) : CodeEditor [ ] => [
1973- ...Object . values ( editors ) ,
1974- ...[ toolsPane ?. console ?. getEditor ?.( ) ] ,
1975- ...[ toolsPane ?. compiled ?. getEditor ?.( ) ] ,
1976- ] ;
1972+ const getAllEditors = ( ) : CodeEditor [ ] =>
1973+ [
1974+ ...Object . values ( editors ) ,
1975+ toolsPane ?. console ?. getEditor ?.( ) ,
1976+ toolsPane ?. compiled ?. getEditor ?.( ) ,
1977+ ] . filter ( ( x ) => x != null ) ;
19771978
19781979const setTheme = ( theme : Theme , editorTheme : Config [ 'editorTheme' ] ) => {
19791980 const themes = [ 'light' , 'dark' ] ;
Original file line number Diff line number Diff line change @@ -189,6 +189,7 @@ export const createEditor = async (options: EditorOptions): Promise<CodeEditor>
189189 glyphMargin : true ,
190190 folding : false ,
191191 lineDecorationsWidth : 0 ,
192+ lineNumbers : 'off' ,
192193 lineNumbersMinChars : 0 ,
193194 scrollbar : {
194195 vertical : 'auto' ,
You can’t perform that action at this time.
0 commit comments