8000
We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 689863a commit 3a67bbbCopy full SHA for 3a67bbb
ui/arduino/store.js
@@ -1209,6 +1209,7 @@ async function store(state, emitter) {
1209
// append it to the list of files that are already open
1210
filesAlreadyOpen.push(alreadyOpen)
1211
}
1212
+
1213
1214
1215
// If opening an already open file, switch to its tab
@@ -1221,7 +1222,7 @@ async function store(state, emitter) {
1221
1222
1223
1224
state.openFiles = state.openFiles.concat(filesToOpen)
-
1225
+ state.selectedFiles = []
1226
state.view = 'editor'
1227
updateMenu()
1228
emitter.emit('render')
0 commit comments