From: Jakub Vrana <jakub@vrana.cz>
Date: Mon, 18 Jul 2011 15:38:16 +0000 (+0200)
Subject: Opera way of prevent default (bug #3367851)
X-Git-Tag: v3.3.0~3
X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=ad937f866513f01136b57d2a5da836b1a8c644c4;p=adminer.git

Opera way of prevent default (bug #3367851)
---

diff --git a/adminer/static/functions.js b/adminer/static/functions.js
index bc373148..c6907deb 100644
--- 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;