private void jButton11ActionPerformed(
java.awt.event.ActionEvent evt) { // GEN-FIRST:event_jButton11ActionPerformed
if (jList1.getSelectedIndex() < 0) return;
cube = model.DoSym(cube, jList1.getSelectedIndices()[0], false);
updateC();
} // GEN-LAST:event_jButton11ActionPerformed
