refreshing the gui after a selection/deselection of different dfa