Small bug fixes and several improvements in the built-in graphical state diagram editor.