Don't show proof lines in editor when space is pressed
Helpers