Feature: Disable automatic indentation, temporarily

[erikmd]

Related user(s):

@erikmd

Related issue(s) or PR(s):

No response

Related project scope(s):

web-app UI

The problem:

Very often, the automatic indentation is distracting for students.

E.g., we type a few keystrokes and the automatic indentation occurs, implying it is impossible to undo (apart from using the full-blown Reload button).

Wanted solution:

• Add a selector (checkbox) in the student editor (ace) to disable automatic indentation?

Considered alternatives:

• Just increase the time for automatic indent?
• Implement an undo history like that of emacs?

Additional context:

No response