Skip to content
New issue

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

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

Already on GitHub? # to your account

Inefficient compilation when deactivating entry temporarily #999

Open
Myriad-Dreamin opened this issue Dec 14, 2024 · 0 comments · May be fixed by #998
Open

Inefficient compilation when deactivating entry temporarily #999

Myriad-Dreamin opened this issue Dec 14, 2024 · 0 comments · May be fixed by #998
Labels
enhancement New feature or request

Comments

@Myriad-Dreamin
Copy link
Owner

When clicking the preview panel or the output channel, the compilation server (typ_server.rs) switches the entry to the None and then back to the original entry, which causes a fresh unnecessary compilation.

@Myriad-Dreamin Myriad-Dreamin linked a pull request Dec 14, 2024 that will close this issue
1 task
@Myriad-Dreamin Myriad-Dreamin added the enhancement New feature or request label Dec 14, 2024
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant