You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently the server status is put inside the language status. The main problem of that is, user cannot see the server status unless user opens a java relate file. This experience is not ideal since the server status is hidden when the user is, for example, viewing the setting page.
Solution
Information like language level and project type can still be hosted by the language status bar, but put the server status as a general status bar item.
The text was updated successfully, but these errors were encountered:
Right. So the language status bar is tied to a language, which would only be presented when an editor is open, but we have plenty of cases where the language server can do things and knowing its status would be useful. Only downside is the status bar area becomes a bit more crowded.
I guess as long as the user has the ability to hide the server status bar item, it should be ok to have it separate.
But now it's either user hides status and there's no way to easy switch from light mode, or this status showed for totally unrelated files. Can it be setting where to show it?
@IllusionMH Even if the an unrelated file is open, if the language server is up, then it likely detected the opened folder is a Java project, or contains Java projects. It's difficult to know exactly when it should hide itself. We could use StatusBarItem.hide() if we had some cases where it absolutely makes sense to do that.
Problem
Currently the server status is put inside the language status. The main problem of that is, user cannot see the server status unless user opens a java relate file. This experience is not ideal since the server status is hidden when the user is, for example, viewing the setting page.
Solution
Information like language level and project type can still be hosted by the language status bar, but put the server status as a general status bar item.
The text was updated successfully, but these errors were encountered: