don't hide source refresh button, closes #225