From 0e4f156cb05daaefcc5927fd3901103d0eecea51 Mon Sep 17 00:00:00 2001 From: Corey Johnson Date: Fri, 6 Jul 2012 11:19:19 -0700 Subject: [PATCH] WIP: making folded lines look better --- src/app/editor.coffee | 2 +- static/theme/twilight.css | 6 ++---- 2 files changed, 3 insertions(+), 5 deletions(-) diff --git a/src/app/editor.coffee b/src/app/editor.coffee index 7d7946fcd..c06cd4f2c 100644 --- a/src/app/editor.coffee +++ b/src/app/editor.coffee @@ -650,7 +650,7 @@ class Editor extends View @renderedLines.css('padding-bottom', heightOfRenderedLines) adjustWidthOfRenderedLines: -> - @renderedLines.width(@charWidth * @maxScreenLineLength()) + # @renderedLines.width(@charWidth * @maxScreenLineLength()) handleScrollHeightChange: -> scrollHeight = @lineHeight * @screenLineCount() diff --git a/static/theme/twilight.css b/static/theme/twilight.css index ddd2d0e5e..1ecd947ad 100644 --- a/static/theme/twilight.css +++ b/static/theme/twilight.css @@ -70,13 +70,11 @@ color:#D2A8A1; } .fold { - background-color: #524228; - color: #969696; + background-color: #1D2620; } .fold.selected { - background-color: #2A3B2A; - color: #969696; + background-color: #2b382f; } .support.function {