Skip to content
  • Florent D'Halluin's avatar
    [yavgui] Handle state addition/deletion. · 835c251b
    Florent D'Halluin authored
    Right click on empty space to add a state.
    Right click on a state to delete it.
    
    * yavgui/src/automaton_instance.cc: Cosmetic.
    * yavgui/src/g_painter.cc: Do not delete the scene when refreshing;
    update it instead.
    * yavgui/src/g_painter.hxx,
    * yavgui/src/g_scene.cc,
    * yavgui/src/g_scene.hh,
    * yavgui/src/g_state.cc,
    * yavgui/src/g_state.hh,
    * yavgui/src/g_vcsn_handler.cc,
    * yavgui/src/g_vcsn_handler.hh,
    * yavgui/src/g_vcsn_handler.hxx,
    * yavgui/src/g_transition.cc: Add necessary signal/slots/connections.
    * yavgui/src/vcsn_automaton.cc,
    * yavgui/src/g_view.cc,
    * yavgui/src/g_view.hh: Remove obsolete signal/slots/connections.
    835c251b