Merge pull request #340 from platformio/font-family

Use the editor font-family
noseglid · Mar 14, 2016 · 70ca7d7 · 70ca7d7
2 parents 629e06f + f3cf6f2
commit 70ca7d7
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/lib/build-view.js b/lib/build-view.js
@@ -63,6 +63,7 @@ export default class BuildView extends View {
     atom.config.observe('build.panelVisibility', ::this.visibleFromConfig);
     atom.config.observe('build.panelOrientation', ::this.orientationFromConfig);
     atom.config.observe('editor.fontSize', ::this.fontSizeFromConfig);
+    atom.config.observe('editor.fontFamily', ::this.fontFamilyFromConfig);
     atom.commands.add('atom-workspace', 'build:toggle-panel', ::this.toggle);
   }
 
@@ -250,6 +251,11 @@ export default class BuildView extends View {
     this.resizeToNearestRow();
   }
 
+  fontFamilyFromConfig(family) {
+    this.css({ 'font-family': family });
+    this.resizeToNearestRow();
+  }
+
   reset() {
     clearTimeout(this.titleTimer);
     this.buildTimer.text(BuildView.initialTimerText());

diff --git a/styles/build.less b/styles/build.less
@@ -4,7 +4,7 @@
 .build {
 
   min-width: 250px;
-  font-family: Menlo;
+  font-family: monospace;
   font-weight: 600;
   font-size: @font-size;