clear editor state across user-visible restarts

Teliva's constantly restarting without the user being aware of it. So
far I figured saving history across the user actually exiting and
restarting Teliva was just a happy "feature". However, it looks like
that's actually more complex to implement. Keeping editor state across
user-visible restarts results in these problems:

- opening the editor after restart has the cursor position messed up, no
  matter what definition you open.
- more seriously, opening the editor after restart can't seem to get to
  the big-picture view anymore.

Rather than try to debug what's going on, I'm going to just cordon off
that part of the state space for now.

0 files changed, 0 insertions, 0 deletions