From f4528a6d05bc95dae7045115fa4fdfee3966e350 Mon Sep 17 00:00:00 2001 From: Chris Wanstrath Date: Sat, 27 Aug 2011 02:48:42 -0700 Subject: [PATCH] kill the tabs for now. make life easy --- HTML/index.html | 17 +++++++++++++++-- HTML/lib/atomicity.coffee | 7 +++++++ 2 files changed, 22 insertions(+), 2 deletions(-) diff --git a/HTML/index.html b/HTML/index.html index 99265f96e..18a143623 100644 --- a/HTML/index.html +++ b/HTML/index.html @@ -56,9 +56,22 @@ + + diff --git a/HTML/lib/atomicity.coffee b/HTML/lib/atomicity.coffee index 9d5b0c39e..0648a03c7 100644 --- a/HTML/lib/atomicity.coffee +++ b/HTML/lib/atomicity.coffee @@ -9,6 +9,8 @@ _ = require 'vendor/underscore' $ = require 'vendor/jquery' {CoffeeScript} = require 'vendor/coffee-script' +Chrome.addPane 'main', '
' + editor = ace.edit "editor" editor.setTheme require "ace/theme/twilight" JavaScriptMode = require("ace/mode/javascript").Mode @@ -19,6 +21,11 @@ editor.getSession().setUseSoftTabs true editor.getSession().setTabSize 2 editor.focus() +# fuuuuu, ui bug +setTimeout -> + editor.resize() +, 50 + if css = File.read "~/.atomicity/twilight.css" head = $('head')[0] style = document.createElement 'style'