|
@@ -342,31 +342,35 @@
|
|
</div>
|
|
</div>
|
|
<div class="option-item">
|
|
<div class="option-item">
|
|
<input type="checkbox" option="updateUrl" id="updateUrl" checked />
|
|
<input type="checkbox" option="updateUrl" id="updateUrl" checked />
|
|
- <label for="updateUrl"> Update the URL when the input or recipe changes </label>
|
|
|
|
|
|
+ <label for="updateUrl"> Update the URL when the input or recipe changes</label>
|
|
</div>
|
|
</div>
|
|
<div class="option-item">
|
|
<div class="option-item">
|
|
<input type="checkbox" option="showHighlighter" id="showHighlighter" checked />
|
|
<input type="checkbox" option="showHighlighter" id="showHighlighter" checked />
|
|
- <label for="showHighlighter"> Highlight selected bytes in output and input (when possible) </label>
|
|
|
|
|
|
+ <label for="showHighlighter"> Highlight selected bytes in output and input (when possible)</label>
|
|
</div>
|
|
</div>
|
|
<div class="option-item">
|
|
<div class="option-item">
|
|
<input type="checkbox" option="treatAsUtf8" id="treatAsUtf8" checked />
|
|
<input type="checkbox" option="treatAsUtf8" id="treatAsUtf8" checked />
|
|
- <label for="treatAsUtf8"> Treat output as UTF-8 if possible </label>
|
|
|
|
|
|
+ <label for="treatAsUtf8"> Treat output as UTF-8 if possible</label>
|
|
</div>
|
|
</div>
|
|
<div class="option-item">
|
|
<div class="option-item">
|
|
<input type="checkbox" option="wordWrap" id="wordWrap" checked />
|
|
<input type="checkbox" option="wordWrap" id="wordWrap" checked />
|
|
- <label for="wordWrap"> Word wrap the input and output </label>
|
|
|
|
|
|
+ <label for="wordWrap"> Word wrap the input and output</label>
|
|
</div>
|
|
</div>
|
|
<div class="option-item">
|
|
<div class="option-item">
|
|
<input type="checkbox" option="showErrors" id="showErrors" checked />
|
|
<input type="checkbox" option="showErrors" id="showErrors" checked />
|
|
- <label for="showErrors"> Operation error reporting (recommended) </label>
|
|
|
|
|
|
+ <label for="showErrors"> Operation error reporting (recommended)</label>
|
|
</div>
|
|
</div>
|
|
<div class="option-item">
|
|
<div class="option-item">
|
|
<input type="checkbox" option="useMetaKey" id="useMetaKey" />
|
|
<input type="checkbox" option="useMetaKey" id="useMetaKey" />
|
|
- <label for="useMetaKey"> Use meta key for keybindings (Windows ⊞/Command ⌘) </label>
|
|
|
|
|
|
+ <label for="useMetaKey"> Use meta key for keybindings (Windows ⊞/Command ⌘)</label>
|
|
</div>
|
|
</div>
|
|
<div class="option-item">
|
|
<div class="option-item">
|
|
<input type="number" option="errorTimeout" id="errorTimeout" />
|
|
<input type="number" option="errorTimeout" id="errorTimeout" />
|
|
- <label for="errorTimeout"> Operation error timeout in ms (0 for never) </label>
|
|
|
|
|
|
+ <label for="errorTimeout"> Operation error timeout in ms (0 for never)</label>
|
|
|
|
+ </div>
|
|
|
|
+ <div class="option-item">
|
|
|
|
+ <input type="number" option="outputFileThreshold" id="outputFileThreshold" />
|
|
|
|
+ <label for="outputFileThreshold"> Size threshold for treating the output as a file (KiB)</label>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
<div class="modal-footer">
|
|
<div class="modal-footer">
|