var editor_monaco = window.editor_monaco;

5 years ago · 8846c9e998
parent a6ad7db235
commit 8846c9e998
1 changed files with 2 additions and 0 deletions
--- a/public/react/src/modules/page/MainContentContainer.js
+++ b/public/react/src/modules/page/MainContentContainer.js
@ -369,6 +369,8 @@ class MainContentContainer extends Component {
 					// 异常 直接重试
 					this.fetchRepositoryCode(props, null, null, true)
 				} else{
+					var editor_monaco = window.editor_monaco;
+
 					if (path && path.endsWith('.py')) {
 						editor_monaco.getModel().updateOptions({insertSpaces: true})
 					} else {