From c3232a463c6cbf360c247af913a3891e64893184 Mon Sep 17 00:00:00 2001
From: Kevin Sawicki <kevin@github.com>
Date: Wed, 1 May 2013 07:58:12 -0700
Subject: [PATCH] Use ems instead of pixels for config editor widths

This allows the editor to be big enough to still show
multiple characters in large font sizes.
---
 src/app/editor-config-panel.coffee | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/app/editor-config-panel.coffee b/src/app/editor-config-panel.coffee
index a350d41b5..ddebeac36 100644
--- a/src/app/editor-config-panel.coffee
+++ b/src/app/editor-config-panel.coffee
@@ -15,7 +15,7 @@ class EditorConfigPanel extends ConfigPanel
         @div class: 'control-group', =>
           @label class: 'control-label', "Font Size:"
           @div class: 'controls', =>
-            @subview "fontSizeEditor", new Editor(mini: true, attributes: {id: 'editor.fontSize', type: 'int', style: 'width: 40px'})
+            @subview "fontSizeEditor", new Editor(mini: true, attributes: {id: 'editor.fontSize', type: 'int', style: 'width: 4em'})
 
         @div class: 'control-group', =>
           @label class: 'control-label', "Font Family:"
@@ -56,7 +56,7 @@ class EditorConfigPanel extends ConfigPanel
         @div class: 'control-group', =>
           @label class: 'control-label', for: 'editor.preferredLineLength', "Preferred Line Length:"
           @div class: 'controls', =>
-            @subview "preferredLineLengthEditor", new Editor(mini: true, attributes: {id: 'editor.preferredLineLength', type: 'int', style: 'width: 40px'})
+            @subview "preferredLineLengthEditor", new Editor(mini: true, attributes: {id: 'editor.preferredLineLength', type: 'int', style: 'width: 4em'})
 
         @div class: 'control-group', =>
           @label class: 'control-label', for: 'editor.nonWordCharacters', "Non-Word Characters:"