@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.