From ad937f866513f01136b57d2a5da836b1a8c644c4 Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Mon, 18 Jul 2011 17:38:16 +0200
Subject: [PATCH] Opera way of prevent default (bug #3367851)

---
 adminer/static/functions.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;