From 0bb26b9c5b7e7ca75dc16ffe2c913ba600e5402d Mon Sep 17 00:00:00 2001
From: Guillermo Rauch <rauchg@gmail.com>
Date: Thu, 7 Jul 2016 11:15:11 -0700
Subject: [PATCH] improve config defaults

---
 config-default.js | 15 +++++++++++++--
 1 file changed, 13 insertions(+), 2 deletions(-)

diff --git a/config-default.js b/config-default.js
index 0ef710bb..7ebefb1f 100644
--- a/config-default.js
+++ b/config-default.js
@@ -1,7 +1,7 @@
 module.exports = {
   config: {
     // default font size for all tabs
-    fontSize: '12px',
+    fontSize: 12,
 
     // font family with optional fallbacks
     fontFamily: 'Menlo, "DejaVu Sans Mono", "Lucida Console", monospace',
@@ -34,5 +34,16 @@ module.exports = {
     ]
   },
 
-  plugins: []
+  // a list of plugins to fetch and install from npm
+  // format: [@org/]project[#version]
+  // examples:
+  //   `hypersolar`
+  //   `@company/project`
+  //   `project#1.0.1`
+  plugins: [],
+
+  // in development, you can create a directory under
+  // `~/.hyperterm_modules` and include it as a local
+  // plugin to load it and avoid npm installation
+  localPlugins: []
 };