|
|
@ -34,8 +34,8 @@ var css = csjs` |
|
|
|
.checkboxText { |
|
|
|
.checkboxText { |
|
|
|
margin-left: 3px; |
|
|
|
margin-left: 3px; |
|
|
|
} |
|
|
|
} |
|
|
|
#warnCompilationSlow { |
|
|
|
.compilationWarning extends ${styles.warningTextBox} { |
|
|
|
color: #FF8B8B; |
|
|
|
margin-top: 1em; |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
` |
|
|
|
` |
|
|
@ -61,7 +61,8 @@ function settingsTab () { |
|
|
|
</div> |
|
|
|
</div> |
|
|
|
<div class="${css.crow}"> |
|
|
|
<div class="${css.crow}"> |
|
|
|
<div><input class="${css.col1}" id="autoCompile" type="checkbox" checked></div> |
|
|
|
<div><input class="${css.col1}" id="autoCompile" type="checkbox" checked></div> |
|
|
|
<span class="${css.checkboxText}">Auto Compile</span><span id="warnCompilationSlow"></span> |
|
|
|
<span class="${css.checkboxText}">Auto Compile</span> |
|
|
|
|
|
|
|
<div id="warnCompilationSlow" class="${css.compilationWarning}"></div> |
|
|
|
</div> |
|
|
|
</div> |
|
|
|
</div> |
|
|
|
</div> |
|
|
|
<div class="${css.crow}"> |
|
|
|
<div class="${css.crow}"> |
|
|
|