Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Compilação de fontes Abertos #42

Closed
robsonrosilva opened this issue May 24, 2019 · 2 comments
Closed

Compilação de fontes Abertos #42

robsonrosilva opened this issue May 24, 2019 · 2 comments
Assignees
Labels
editor Editor related issues enhancement New feature or request
Milestone

Comments

@robsonrosilva
Copy link

Poderiam implementar um atalho para compilação de todos fontes abertos no editor.

@matheus-sales matheus-sales added editor Editor related issues enhancement New feature or request labels May 27, 2019
@lwtnb-wrk lwtnb-wrk self-assigned this May 30, 2019
@lwtnb-wrk
Copy link
Contributor

@robsonrosilva Implementada a compilacao de fontes abertos atraves do atalho CTRL+F10 ou CTRL+SHIFT+F10 para recompilar fontes abertos. Pode ser acessado atraves de CTRL+SHIFT+P => "Compile Open Editors" tambem.
Disponivel a partir da proxima liberacao.

  • Nota: Ao disparar o comando ele vai navegar e coletar as informacoes dos fontes abertos, pois o vscode nao disponibiliza uma lista com os fontes abertos... Vai dar para ver ele navegando entre as abas. E se houverem muitos fontes abertos ele via passar um por um.

@lwtnb-wrk lwtnb-wrk added the awaiting release Fixed issues and awaiting the next release label May 31, 2019
@DelleonFernandes
Copy link

Depois de algumas atualizações no vscode esta função parou de funcionar.
Estou na versão 1.42.1 Data: 2020-02-11T14:45:59.656Z elétron: 6.1.6 Chrome: 76.0.3809.146 node. js: 12.4.0 V8: 7.6.303.31-electron.0 OS: Windows_NT x64 10.0.18363

@brodao-zz brodao-zz added this to the Versão 1.1.0 milestone Oct 15, 2020
@brodao-zz brodao-zz removed the awaiting release Fixed issues and awaiting the next release label Oct 15, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
editor Editor related issues enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

5 participants