The dropdown menu for running files does not work as expected for terminals. When terminal drop down is closed, file beneath is expected to close under terminal tab. Instead, terminal tab drops to the ...

Pull requests help you collaborate on code with other people. As pull requests are created, they’ll appear here in a searchable and filterable list. To get started, you should create a pull request.