mirror/php-web-maker
1
0
Fork 0
mirror of https://github.com/chinchang/web-maker.git synced 2025-08-20 12:01:21 +02:00
Code Issues Releases Wiki Activity

build

Browse Source
This commit is contained in:
Kushagra Gour
2018-05-16 23:52:59 +05:30
parent 690ba7d2f5
commit 2882eab1a2
6 changed files with 37 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
app/index.html
View File

@@ -474,7 +474,7 @@
<input id="customEditorFontInput" type="text" value="" placeholder="Custom font name here" data-setting="editorCustomFont" d-change="updateSetting">
</label>
<label class="line">
Font Size <input type="number" value="16" data-setting="fontSize" d-change="updateSetting"> px
Font Size <input style="width:70px" type="number" value="16" data-setting="fontSize" d-change="updateSetting"> px
</label>
<div class="line">
@@ -526,6 +526,17 @@
<input type="checkbox" d-change="updateSetting" data-setting="isCodeBlastOn"> Code blast!
</label>
</p>
<hr>
<h3>Advanced</h3>
<p>
<label class="line" title="This timeout is used to indentify a possible infinite loop and prevent it.">
Maximum time allowed in a loop iteration
<input type="number" data-setting="infiniteLoopTimeout" d-change="updateSetting"> ms
</label>
<div class="help-text">If any loop iteration takes more than the defined time, it is detected as a potential infinite loop and further iterations are stopped.</div>
</p>
</div>
</div>