/**
  * Indicate that we are no longer connected to the Companion, adjust buttons accordingly. Called
  * from BlocklyPanel
  */
 public static void indicateDisconnect() {
   DesignToolbar instance = Ode.getInstance().getDesignToolbar();
   instance.updateConnectToDropDownButton(false, false, false);
   instance.replStarted = false; // This is ugly, I should really define a method to do this
   // but that would just take space and time...
 }