// chamado no evento do bot_o novo
private void novoEstado() {
Estado novo = new Estado(isfinal.isSelected(), ("q" + a.getEstados().size()));
a.getEstados().add(novo);
if (criarInicial) { // seta como inicial se for inicial
a.setInicial(novo.getNome());
criarInicial = false; // n_o deixa mais criar estados iniciais
}
JPanelEstado p = new JPanelEstado(novo, this); // cria a visualiza__o gr_fica
// colocam o visualizador no painel
painelView.add(p);
painelView.repaint();
refresh();
}
