@@ -105,37 +105,37 @@ const IDEViewMobile = (props) => {
105105
106106 < Content >
107107 < Editor
108- lintWarning = { props . preferences . lintWarning }
109- linewrap = { props . preferences . linewrap }
110- lintMessages = { props . editorAccessibility . lintMessages }
111- updateLintMessage = { props . updateLintMessage }
112- clearLintMessage = { props . clearLintMessage }
113- file = { props . selectedFile }
114- updateFileContent = { props . updateFileContent }
115- fontSize = { props . preferences . fontSize }
116- lineNumbers = { props . preferences . lineNumbers }
117- files = { props . files }
118- editorOptionsVisible = { props . ide . editorOptionsVisible }
119- showEditorOptions = { props . showEditorOptions }
120- closeEditorOptions = { props . closeEditorOptions }
121- showKeyboardShortcutModal = { props . showKeyboardShortcutModal }
122- setUnsavedChanges = { props . setUnsavedChanges }
123- isPlaying = { props . ide . isPlaying }
124- theme = { props . preferences . theme }
125- startRefreshSketch = { props . startRefreshSketch }
126- stopSketch = { props . stopSketch }
127- autorefresh = { props . preferences . autorefresh }
128- unsavedChanges = { props . ide . unsavedChanges }
129- projectSavedTime = { props . project . updatedAt }
130- isExpanded = { props . ide . sidebarIsExpanded }
131- expandSidebar = { props . expandSidebar }
132- collapseSidebar = { props . collapseSidebar }
108+ lintWarning = { preferences . lintWarning }
109+ linewrap = { preferences . linewrap }
110+ lintMessages = { editorAccessibility . lintMessages }
111+ updateLintMessage = { updateLintMessage }
112+ clearLintMessage = { clearLintMessage }
113+ file = { selectedFile }
114+ updateFileContent = { updateFileContent }
115+ fontSize = { preferences . fontSize }
116+ lineNumbers = { preferences . lineNumbers }
117+ files = { files }
118+ editorOptionsVisible = { ide . editorOptionsVisible }
119+ showEditorOptions = { showEditorOptions }
120+ closeEditorOptions = { closeEditorOptions }
121+ showKeyboardShortcutModal = { showKeyboardShortcutModal }
122+ setUnsavedChanges = { setUnsavedChanges }
123+ isPlaying = { ide . isPlaying }
124+ theme = { preferences . theme }
125+ startRefreshSketch = { startRefreshSketch }
126+ stopSketch = { stopSketch }
127+ autorefresh = { preferences . autorefresh }
128+ unsavedChanges = { ide . unsavedChanges }
129+ projectSavedTime = { project . updatedAt }
130+ isExpanded = { ide . sidebarIsExpanded }
131+ expandSidebar = { expandSidebar }
132+ collapseSidebar = { collapseSidebar }
133133 isUserOwner = { setTmController }
134- clearConsole = { props . clearConsole }
135- consoleEvents = { props . console }
136- showRuntimeErrorWarning = { props . showRuntimeErrorWarning }
137- hideRuntimeErrorWarning = { props . hideRuntimeErrorWarning }
138- runtimeErrorWarningVisible = { props . ide . runtimeErrorWarningVisible }
134+ clearConsole = { clearConsole }
135+ consoleEvents = { console }
136+ showRuntimeErrorWarning = { showRuntimeErrorWarning }
137+ hideRuntimeErrorWarning = { hideRuntimeErrorWarning }
138+ runtimeErrorWarningVisible = { ide . runtimeErrorWarningVisible }
139139 provideController = { setTmController }
140140 />
141141 </ Content >
0 commit comments