Add fontSize '11px' to textarea

2011-02-15 20:26:15 +08:00 · 2011-02-15 20:26:15 +08:00 · 376d8d2ebe
commit 376d8d2ebe
parent 39c7c652d9
1 changed files with 1 additions and 0 deletions
--- 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"