diff --git a/php-console.js b/php-console.js
index 995a43d..7e90037 100644
--- a/php-console.js
+++ b/php-console.js
@@ -95,7 +95,9 @@
 
         // events
         editor.getSession().selection.on('changeCursor', updateStatusBar);
-        editor.getSession().selection.on('changeSelection', prepareClippyButton);
+        if (window.navigator.userAgent.indexOf('Opera/') === 0) {
+            editor.getSession().selection.on('changeSelection', prepareClippyButton);
+        }
 
         // commands
         editor.commands.addCommand({