Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Sign up
Appearance settings

Don't hide extension terminal entirely#4096

Merged
andyleejordan merged 1 commit intomain from
andschwa/dontHideTerminal
Jul 29, 2022
Merged

Don't hide extension terminal entirely #4096
andyleejordan merged 1 commit intomain from
andschwa/dontHideTerminal

Commits

Commits on Jul 28, 2022

AltStyle によって変換されたページ (->オリジナル) /