Switch to tab if file is already open by murilopolese · Pull Request #119 · arduino/lab-micropython-editor