From 8ca8841f9ed90489fb40c4064129a2356079f33f Mon Sep 17 00:00:00 2001
From: Corey Johnson & Nathan Sobo <cj+nathan@github.com>
Date: Fri, 8 Mar 2013 11:14:44 -0800
Subject: [PATCH] Make command-panel's editor have -webkit-flex: 1

We moved the setting of flex on editors to the panes stylesheet
previously, but here is another context where we need flex to be
set.
---
 static/command-panel.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/static/command-panel.css b/static/command-panel.css
index 8f2098259..a169d2759 100644
--- a/static/command-panel.css
+++ b/static/command-panel.css
@@ -122,6 +122,7 @@
 
 .command-panel .prompt-and-editor .editor {
   position: relative;
+  -webkit-flex: 1;
 }
 
 .command-panel .prompt-and-editor {