Opera way of prevent default (bug #3367851)

diff --git a/adminer/static/functions.js b/adminer/static/functions.js
index bc3731480fc024b3ffe658467849fe65ea828867..c6907debed62843ad8fd7dc0117a47a7da3e4281 100644 (file)
--- a/adminer/static/functions.js
+++ b/adminer/static/functions.js
@@ -454,7 +454,7 @@ function bodyClick(event, db, ns) {
        if (event.button || event.ctrlKey || event.shiftKey || event.altKey || event.metaKey) {
                return;
        }
-       if (event.getPreventDefault ? event.getPreventDefault() : event.returnValue === false) {
+       if (event.getPreventDefault ? event.getPreventDefault() : event.returnValue === false || event.defaultPrevented) {
                return false;
        }
        var el = event.target || event.srcElement;