From 9e1ac682ddd1280fde02169c50cb7f87c6bedb96 Mon Sep 17 00:00:00 2001 From: William Entriken Date: Sun, 11 Nov 2018 22:32:32 -0500 Subject: [PATCH] Use HTML label for options, fixes #1600 --- src/app/tabs/compile-tab.js | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/app/tabs/compile-tab.js b/src/app/tabs/compile-tab.js index caefef492f..41e9d5e6bd 100644 --- a/src/app/tabs/compile-tab.js +++ b/src/app/tabs/compile-tab.js @@ -220,15 +220,15 @@ module.exports = class CompileTab {
${self._view.autoCompile} - Auto compile +
${self._view.optimize}
- Enable Optimization +
${self._view.hideWarningsBox} - Hide warnings +
${self._view.compileButton}