From 376d8d2ebe365c9b970d1b2490c1fad55abb291b Mon Sep 17 00:00:00 2001
From: Julian Viereck <julian.viereck@gmail.com>
Date: Tue, 15 Feb 2011 20:26:15 +0800
Subject: [PATCH] Add fontSize '11px' to textarea

---
 build_support/boot_textarea.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build_support/boot_textarea.js b/build_support/boot_textarea.js
index 16cb6c50..111a6043 100644
--- a/build_support/boot_textarea.js
+++ b/build_support/boot_textarea.js
@@ -424,6 +424,7 @@ function setupSettingPanel(settingDiv, settingOpener, api, options) {
         gutter: BOOL,
         fontSize: {
             "10px": "10px",
+            "11px": "11px",
             "12px": "12px",
             "14px": "14px",
             "16px": "16px"