Fix indentation of definition of context menu
Fix indentation of definition of context menu

lorisdanto/automatatutor-frontend,lorisdanto/automatatutor-frontend,AutomataTutor/automatatutor-frontend,AutomataTutor/automatatutor-frontend