docs: private void checkboxDrawGTActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_checkboxDrawGTActionPerformed
          //visualizer.redrawClusterings();
          visualizer.setGroundTruthVisibility(checkboxDrawGT.isSelected());
      }