Closed SamTebbs33 closed 6 years ago
This PR adds the "refresh" shortcut to the footer. See issue 585.
looks good, thanks!
Thanks for the merge :)
This PR adds the "refresh" shortcut to the footer. See issue 585.