Consider this a "hits most use cases" initial take on #44; I think this is needed anyway. Reloading based on external input should follow later, but I think those things make more sense when I can make a best-efforts attempt at reloading and ending up at the same position (which would help make things feel more like a live-edit viewer).
Anyway, that's a different request/PR. This is about a simple refresh.
Consider this a "hits most use cases" initial take on #44; I think this is needed anyway. Reloading based on external input should follow later, but I think those things make more sense when I can make a best-efforts attempt at reloading and ending up at the same position (which would help make things feel more like a live-edit viewer).
Anyway, that's a different request/PR. This is about a simple refresh.