docs: private void checkboxDrawMicroActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_checkboxDrawMicroActionPerformed
          //visualizer.redrawClusterings();
          visualizer.setMicroLayerVisibility(checkboxDrawMicro.isSelected());
      }