From f6f6e2d28ea2fe953fe3d2b3b22692f0197fb893 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Fri, 28 Jan 2011 09:14:54 +0100
Subject: [PATCH] cleanup demo

---
 demo/startup.js | 10 ----------
 demo/styles.css | 16 ----------------
 2 files changed, 26 deletions(-)

diff --git a/demo/startup.js b/demo/startup.js
index 9193dd87..d46622bf 100644
--- a/demo/startup.js
+++ b/demo/startup.js
@@ -253,16 +253,6 @@ exports.launch = function(env) {
 
         return event.preventDefault(e);
     });
-	
-	// gutter
-	editor = env.editor
-	toggleGutter=function(){
-		editor.renderer.setShowGutter(!editor.renderer.showGutter)
-	}
-	//
-	window.ace={
-		editor: editor		
-	}
 };
 
 });
diff --git a/demo/styles.css b/demo/styles.css
index 8fd3bc01..3f244f7c 100644
--- a/demo/styles.css
+++ b/demo/styles.css
@@ -44,20 +44,4 @@ body {
     -moz-border-radius-topright: 10px;
     border-top-left-radius: 4px; border-top-right-radius: 4px;
     background: #DDD; color: #000;
-}
-
-#toggleGutter{
-    height:8px;
-    width:20px;
-    background:lightblue;
-    bottom:0;
-    position:absolute;
-    z-index: 1000;
-    -moz-border-radius-topright: 20px;
-}
-
-#toggleGutter:hover{
-    -moz-box-shadow: 2px -1px 5px 3px #91B6D5;
-    border-right: 1px solid #A1A1CF;
-    border-top: 1px solid #A1A1CF;
 }
\ No newline at end of file