Skip to content
This repository has been archived by the owner on Aug 31, 2023. It is now read-only.

📎 Show Server Version number in status bar #3609

Closed
MichaReiser opened this issue Nov 9, 2022 · 1 comment · Fixed by #3616
Closed

📎 Show Server Version number in status bar #3609

MichaReiser opened this issue Nov 9, 2022 · 1 comment · Fixed by #3616
Assignees
@leops
Labels
A-Editors Area: editors E-VScode Editors: VSCode enhancement New feature request or improvement to existing functionality Help wanted Help would be really appreciated task A task, an action that needs to be performed
Milestone
10.0.1

Comments

@MichaReiser
Copy link
Contributor

Description

It's hard to tell to what version of Rome the extension connects to.

That's why it would be helpful to show the server version number in the Rome status bar.
@MichaReiser MichaReiser added enhancement New feature request or improvement to existing functionality Help wanted Help would be really appreciated task A task, an action that needs to be performed E-VScode Editors: VSCode A-Editors Area: editors labels Nov 9, 2022
@leops
Copy link
Contributor

leops commented Nov 9, 2022

I can look into this, I also noticed a minor logic bug in the editor extension so I could fix it at the same time

@leops leops self-assigned this Nov 9, 2022
@leops leops mentioned this issue Nov 9, 2022
Merged
@leops leops added this to the 10.0.1 milestone Nov 9, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@leops leops

Labels
A-Editors Area: editors E-VScode Editors: VSCode enhancement New feature request or improvement to existing functionality Help wanted Help would be really appreciated task A task, an action that needs to be performed
Projects
None yet
Milestone
10.0.1
Development

Successfully merging a pull request may close this issue.

feat(vscode): display the version of the language server in the status bar rome/tools
2 participants
@MichaReiser @leops