✨ Add server status component

[ibolton336]

• Disable analysis and getSolution if server is not running
• Move server status and prevent blocking analysis sidebar when server is starting
• Fix webview ready message to follow "type" convention
• Change startAnalysis to runAnalysis across all files

Screen.Recording.2024-12-03.at.8.08.05.PM.mov

[rszwajko]

Looks good !

[rszwajko]

@ibolton336
I wonder if we really need to surface the server state - we could keep it internal and start it automatically if user requests analysis to be run.
Looking at the wireframes we might even drop the button (I understand it would then be run automatically )

[sjd78]

I like having explicit status for the server available. Back on the wireframes, I thought of it more as a status bar item with wireframe 10 (described but not drawn -- it is the blue bar in the status area in the wireframe image below).

Wireframe 14 has the progression from not configured forward...

In terms of UX, the server should manage itself like any other language server would. If things are configured when the extension initializes, just start the server up right away. The user changes the configs? Restart the server. The extensions gets reloaded? Stop and start the server again.

For our purposes, manually starting and stopping the server can make a lot of sense as the start and initalize code can be changing. Keeping those actions around and having a full set of server actions start, restart, and stop that can be hit from the command pallet is very vscode UX consistent. Showing server status in the status bar is also far more vscode UX consistent.

[djzager]

In terms of UX, the server should manage itself like any other language server would. If things are configured when the extension initializes, just start the server up right away. The user changes the configs? Restart the server. The extensions gets reloaded? Stop and start the server again.

I agree with this being the longterm goal for the extension.

[djzager]

ACK. I think we can iterate on this server status as we getting working on more systems more reliably in the coming weeks.