According to the tooltip of the "Refresh" icon CTRL+R should be the refresh shortcut, but it brings up the "Replace" dialog instead. You also get the "Replace" dilog with the proper shortcut CRTL+H.
Thanks for your post. This bug has been added to tracker.
You can post new topics in this forum