@belkka OK, so maybe if there was a way to get WebKit to hide the Refresh menu item, since in theory it's not needed for this plugin.


You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.