From 65f1c79acc691a2134b42ec8749c96af450f151c Mon Sep 17 00:00:00 2001
From: YUKI Hiroshi <shimoda@clear-code.com>
Date: Mon, 3 Feb 2014 18:05:54 +0900
Subject: [PATCH] Don't set negative margin to the navigator toolbox in the
 fullscreen mode, on OS X Lion (#645)

---
 modules/fullscreenObserver.js | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/modules/fullscreenObserver.js b/modules/fullscreenObserver.js
index 691d76d8..d272df08 100644
--- a/modules/fullscreenObserver.js
+++ b/modules/fullscreenObserver.js
@@ -86,8 +86,10 @@ FullscreenObserver.prototype = {
 		if (d.documentElement.getAttribute('sizemode') != 'fullscreen')
 			return;
 
-		var toolbox = w.gNavToolbox;
-		toolbox.style.marginTop = -toolbox.getBoundingClientRect().height + 'px';
+		if (!w.FullScreen.useLionFullScreen) { // see https://github.com/piroor/treestyletab/issues/645
+			let toolbox = w.gNavToolbox;
+			toolbox.style.marginTop = -toolbox.getBoundingClientRect().height + 'px';
+		}
 
 		var windowControls = d.getElementById('window-controls');
 		var navigationToolbar = d.getElementById('nav-bar');