最近のバージョンアップで色々な動作ができるようになった． コードの画面以外でも（SETTINGSとか）でも機能する． これで．ログ見たり実行したりが容易になった． github.com Command (ctrl) + Shift + P 「r」を押すと絞られる． この時，「Run」にフォー…