panelPizarra.setPreferredSize(new Dimension(700, 500));
panelPizarra.add(this.pizarraAnimacion, BorderLayout.CENTER);
}
private void jMenuItem4ActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_jMenuItem4ActionPerformed
if (this.mapaVista == null) {
mapaVista = new MapaVista(this, true, this.mapaDatos);
mapaVista.setLocationRelativeTo(this);
}
mapaVista.setVisible(true);
}//GEN-LAST:event_jMenuItem4ActionPerformed