From 71364a8497aa84395efda39b3c4a0b918b31be02 Mon Sep 17 00:00:00 2001 From: Julian Viereck Date: Sun, 15 May 2011 13:44:36 +0200 Subject: [PATCH 1/2] Move options from the top to the left side in the demo. --- demo/demo.js | 4 +- demo/styles.css | 11 ++++-- index.html | 98 +++++++++++++++++++++++++++++++------------------ 3 files changed, 71 insertions(+), 42 deletions(-) diff --git a/demo/demo.js b/demo/demo.js index afe6ed9c..cd70a622 100644 --- a/demo/demo.js +++ b/demo/demo.js @@ -336,8 +336,8 @@ exports.launch = function(env) { } function onResize() { - container.style.width = (document.documentElement.clientWidth) + "px"; - container.style.height = (document.documentElement.clientHeight - 60 - 22) + "px"; + container.style.width = (document.documentElement.clientWidth - 180) + "px"; + container.style.height = (document.documentElement.clientHeight - 22) + "px"; env.editor.resize(); }; diff --git a/demo/styles.css b/demo/styles.css index 3f244f7c..6b774db3 100644 --- a/demo/styles.css +++ b/demo/styles.css @@ -17,18 +17,21 @@ body { #editor { position: absolute; - top: 60px; - left: 0px; + top: 0px; + left: 180px; + bottom: 0px; + right: 0px; background: white; } #controls { - width: 100%; + padding: 5px; } #cockpitInput { position: absolute; - width: 100%; + left: 180px; + right: 0px; bottom: 0; border: none; outline: none; diff --git a/index.html b/index.html index 95170f54..01b9ae1e 100644 --- a/index.html +++ b/index.html @@ -10,29 +10,36 @@ - - + + + + - + + - + + - + + - + + - + + - + + - - - - + + - + + - + + - + + - + + - + + - + + From c1f3d06b91a969869bfa74e24368d0f10f31653e Mon Sep 17 00:00:00 2001 From: Julian Viereck Date: Sun, 15 May 2011 13:46:25 +0200 Subject: [PATCH 2/2] Add a one-pixel gutter border to the textmate theme. --- lib/ace/theme/textmate.js | 1 + 1 file changed, 1 insertion(+) diff --git a/lib/ace/theme/textmate.js b/lib/ace/theme/textmate.js index 2c43c9dd..dc6abd03 100644 --- a/lib/ace/theme/textmate.js +++ b/lib/ace/theme/textmate.js @@ -50,6 +50,7 @@ define(function(require, exports, module) { .ace-tm .ace_gutter {\ width: 50px;\ background: #e8e8e8;\ + border-right: 1px solid rgb(159, 159, 159); \ color: #333;\ overflow : hidden;\ }\
+
+ +
+
+
+
+
+
+
- -
+
+
+
+
+
+
+