double click events are now associated to renaming of states and transitions