From 9d33e16ccd4561f9c3fd1de34ab51d8758c9b183 Mon Sep 17 00:00:00 2001
From: George Michael Brower <georgebrower@google.com>
Date: Mon, 14 Feb 2011 16:43:42 -0500
Subject: [PATCH] Minor display fixes.

---
 gui.js           | 1 -
 time/scrubber.js | 8 ++++----
 2 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/gui.js b/gui.js
index 94a6580..2ec0363 100644
--- a/gui.js
+++ b/gui.js
@@ -384,7 +384,6 @@ var GUI = function() {
 		for (var i in controllers) {
 			controllerHeight += controllers[i].domElement.offsetHeight;
 		}
-		return;
 		if (controllerHeight - 1 > openHeight) {
 			controllerContainer.style.overflowY = "auto";
 		} else {
diff --git a/time/scrubber.js b/time/scrubber.js
index a801974..4ea3c37 100644
--- a/time/scrubber.js
+++ b/time/scrubber.js
@@ -104,9 +104,9 @@ GUI.Scrubber = function(controller, timer) {
 				if (i == 0) continue;
 				var x = Math.round(GUI.map(i, _this.timer.windowMin, _this.timer.windowMin+_this.timer.windowWidth, 0, width))+0.5;
 				if (i < 0) {
-					_this.g.strokeStyle = '#111111';
+					_this.g.strokeStyle = '#111';
 				} else { 
-					_this.g.strokeStyle = '#282828';
+					_this.g.strokeStyle = '#363636';
 				}
 				_this.g.beginPath();
 				_this.g.moveTo(x, 0);
@@ -266,9 +266,9 @@ GUI.Scrubber = function(controller, timer) {
 			}
 		}
 		if (_this.timer.hoverPoint == null) {
-			document.body.style.cursor = 'pointer';
-		} else { 
 			document.body.style.cursor = 'auto';
+		} else { 
+			document.body.style.cursor = 'pointer';
 		}
 		_this.render();
 	});