There's a need for a configuration option to toggle the visibility of CodeLens buttons. Currently, these buttons are always displayed, which can be distracting for some users. It would enhance the user experience by providing a choice on whether to show these buttons only when needed.
Suggested Solution
Implement a setting in the preferences that allows users to select if and when the CodeLens buttons should be visible. Options could include always visible, visible on hover, or completely hidden unless triggered by a specific action.
Benefit
This feature would cater to varied user preferences, making the coding environment more customizable and less cluttered for those who find the permanent display of CodeLens buttons unnecessary or distracting.
Use Case
For users who rely heavily on an uncluttered interface for focused coding sessions, having the option to control the visibility of CodeLens buttons would be invaluable. This flexibility could also benefit those who occasionally find these features helpful but do not need them at all times.
Description
There's a need for a configuration option to toggle the visibility of CodeLens buttons. Currently, these buttons are always displayed, which can be distracting for some users. It would enhance the user experience by providing a choice on whether to show these buttons only when needed.
Suggested Solution
Implement a setting in the preferences that allows users to select if and when the CodeLens buttons should be visible. Options could include always visible, visible on hover, or completely hidden unless triggered by a specific action.
Benefit
This feature would cater to varied user preferences, making the coding environment more customizable and less cluttered for those who find the permanent display of CodeLens buttons unnecessary or distracting.
Use Case
For users who rely heavily on an uncluttered interface for focused coding sessions, having the option to control the visibility of CodeLens buttons would be invaluable. This flexibility could also benefit those who occasionally find these features helpful but do not need them at all times.