pull down to refresh

I use one of the best and simple multi-format editor https://notepad-plus-plus.org/