-
Notifications
You must be signed in to change notification settings - Fork 383
Closed
Labels
improvementNot a bug or a feature, but something general we can improveNot a bug or a feature, but something general we can improvepresentation-compilerSomething relating to the presentation compilerSomething relating to the presentation compilerspree
Milestone
Description
Describe the bug
I think this was actually reported multiple times that people wanted to use such a feature but weren't aware of it.
Currently it only shows up if you do write "auto...". Maybe we should show it more prominent or via code action so that it's easier to use.
Expected behavior
No response
Operating system
None
Editor/Extension
None
Version of Metals
v1.5.1
Extra context or search terms
No response
arturopala and kluenarturopala
Metadata
Metadata
Assignees
Labels
improvementNot a bug or a feature, but something general we can improveNot a bug or a feature, but something general we can improvepresentation-compilerSomething relating to the presentation compilerSomething relating to the presentation compilerspree