pull down to refresh

That's exactly what I was looking for, thanks!.

And I don't think it's needed to have a UI element for this, since the use case is tiny.

There is also a "rich text to markdown" converter, so you can copy and paste to get the markdown. Works with browser content from any site:

Paste to Markdown
http://euangoddard.github.io/clipboard2markdown/

reply