From 9e2592f35fd076be1d56cb52e7c27bfc2f105557 Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Fri, 19 Jul 2013 13:04:14 -0700
Subject: [PATCH] Ignore mousing over border of select

---
 adminer/include/design.inc.php  |  2 +-
 adminer/include/editing.inc.php |  2 +-
 adminer/static/editing.js       | 19 ++++++++++++-------
 3 files changed, 14 insertions(+), 9 deletions(-)

diff --git a/adminer/include/design.inc.php b/adminer/include/design.inc.php
index c567d37f..e82be4e2 100644
--- a/adminer/include/design.inc.php
+++ b/adminer/include/design.inc.php
@@ -34,7 +34,7 @@ function page_header($title, $error = "", $breadcrumb = array(), $title2 = "") {
 document.body.className = document.body.className.replace(/ nojs/, ' js');
 </script>
 
-<div id="help" class="jush-<?php echo $jush; ?> jsonly hidden" onmouseover="helpOpen = 1;" onmouseout="helpMouseout();"></div>
+<div id="help" class="jush-<?php echo $jush; ?> jsonly hidden" onmouseover="helpOpen = 1;" onmouseout="helpMouseout(this, event);"></div>
 
 <div id="content">
 <?php
diff --git a/adminer/include/editing.inc.php b/adminer/include/editing.inc.php
index bb22c20e..2fd7a55d 100644
--- a/adminer/include/editing.inc.php
+++ b/adminer/include/editing.inc.php
@@ -474,5 +474,5 @@ function doc_link($path) {
 * @return string
 */
 function on_help($command, $side = 0) {
-	return " onmouseover='helpMouseover(getTarget(event), " . h($command) . ", $side);' onmouseout='helpMouseout();'";
+	return " onmouseover='helpMouseover(this, event, " . h($command) . ", $side);' onmouseout='helpMouseout(this, event);'";
 }
diff --git a/adminer/static/editing.js b/adminer/static/editing.js
index 00278bb0..424caac3 100644
--- a/adminer/static/editing.js
+++ b/adminer/static/editing.js
@@ -614,36 +614,41 @@ function schemaMouseup(ev, db) {
 	}
 }
 
-var helpOpen;
+var helpOpen, helpIgnore; // when mouse outs <option> then it mouse overs border of <select> - ignore it
 
 /** Display help
 * @param HTMLElement
+* @param MouseEvent
 * @param string
 * @param bool display on left side (otherwise on top)
 */
-function helpMouseover(el, text, side) {
+function helpMouseover(el, event, text, side) {
+	var target = getTarget(event);
 	if (!text) {
 		helpClose();
-	} else if (window.jush) {
+	} else if (window.jush && (!helpIgnore || el != target)) {
 		helpOpen = 1;
 		var help = document.getElementById('help');
 		help.innerHTML = text;
 		jush.highlight_tag([ help ]);
 		alterClass(help, 'hidden');
-		var top = 0, left = 0, parent = el;
+		var top = 0, left = 0, parent = target;
 		do {
 			top += parent.offsetTop;
 			left += parent.offsetLeft;
 		} while (parent = parent.offsetParent);
-		help.style.top = (top - (side ? (help.offsetHeight - el.offsetHeight) / 2 : help.offsetHeight)) + 'px';
-		help.style.left = (left - (side ? help.offsetWidth : (help.offsetWidth - el.offsetWidth) / 2)) + 'px';
+		help.style.top = (top - (side ? (help.offsetHeight - target.offsetHeight) / 2 : help.offsetHeight)) + 'px';
+		help.style.left = (left - (side ? help.offsetWidth : (help.offsetWidth - target.offsetWidth) / 2)) + 'px';
 	}
 }
 
 /** Close help after timeout
+* @param HTMLElement
+* @param MouseEvent
 */
-function helpMouseout() {
+function helpMouseout(el, event) {
 	helpOpen = 0;
+	helpIgnore = (el != getTarget(event));
 	setTimeout(function () {
 		if (!helpOpen) {
 			helpClose();