[ change ] Open the version switching UI when the connection status is clicked

Author: banacorn

lib/js/src/State/State__Command.bs.js

@@ -386,7 +386,7 @@ let rec dispatchCommand = async (state: State.t, command): unit => {
       } else {
         await State__View.Panel.interruptPrompt(state)
       }
-    | ConnectionStatusClicked => Js.log("Connection status clicked")
+    | ConnectionStatusClicked => await dispatchCommand(SwitchAgdaVersion)
     | JumpToTarget(link) =>
       Editor.focus(state.document)
       let path = state.document->VSCode.TextDocument.fileName->Parser.filepath