#6214 hide improve fonts checkbox

twosigma · Feb 8, 2018 · bfd31ea · bfd31ea
1 parent 403aaeb
commit bfd31ea
Showing 1 changed file with 10 additions and 10 deletions.
diff --git a/js/notebook/src/tree/Widgets/UIOptions/UIOptionsWidget.ts b/js/notebook/src/tree/Widgets/UIOptions/UIOptionsWidget.ts
@@ -41,10 +41,10 @@ export class UIOptionsWidget extends Widget implements UIOptionsWidgetInterface
       <input class="form-check-input" id="wide_cells" name="wide_cells" type="checkbox">
       <label class="form-check-label" for="wide_cells">Wide code cells</label>
     </div>
-    <div class="form-check">
-      <input class="form-check-input" id="improve_fonts" name="improve_fonts" type="checkbox">
-      <label class="form-check-label" for="improve_fonts">Improve fonts</label>
-    </div>
+    <!--<div class="form-check">-->
+      <!--<input class="form-check-input" id="improve_fonts" name="improve_fonts" type="checkbox">-->
+      <!--<label class="form-check-label" for="improve_fonts">Improve fonts</label>-->
+    <!--</div>-->
     <div class="form-check">
       <input class="form-check-input" id="show_publication" name="show_publication" type="checkbox">
       <label class="form-check-label" for="show_publication">Show publication</label>
@@ -72,7 +72,7 @@ export class UIOptionsWidget extends Widget implements UIOptionsWidgetInterface
 
     this.setWideCells(options.wide_cells);
     this.setAutoClose(options.auto_close);
-    this.setImproveFonts(options.improve_fonts);
+    // this.setImproveFonts(options.improve_fonts);
     this.setShowPublication(options.show_publication);
   }
 
@@ -97,11 +97,11 @@ export class UIOptionsWidget extends Widget implements UIOptionsWidgetInterface
       .prop('checked', checked);
   }
 
-  private setImproveFonts(checked: boolean) {
-    this.$node
-      .find(this.IMPROVE_FONTS_SELECTOR)
-      .prop('checked', checked);
-  }
+  // private setImproveFonts(checked: boolean) {
+  //   this.$node
+  //     .find(this.IMPROVE_FONTS_SELECTOR)
+  //     .prop('checked', checked);
+  // }
 
   private setShowPublication(checked: boolean) {
     this.$node