Detect mouse pointer's position correctly to show/hide the tab bar automatically.
Output more debug-friendly messages for the "autohide" feature