2023-04-28 22:29:29 +00:00
|
|
|
<div id="settings" class="modal" style="display: none;" tabindex="-1">
|
|
|
|
<div class="modal-content flex-rows">
|
2023-05-14 07:13:05 +00:00
|
|
|
<div class="modal-header">
|
2023-04-28 22:29:29 +00:00
|
|
|
<h2>Settings</h2>
|
|
|
|
<div class="hr"></div>
|
|
|
|
</div>
|
2023-05-14 07:13:05 +00:00
|
|
|
<div class="modal-main flex-main">
|
|
|
|
<div class="label-input-pair flex-columns">
|
2023-04-28 22:29:29 +00:00
|
|
|
<label for="theme">Theme:</label>
|
|
|
|
<select class="flex-main" id="theme" name="theme">
|
|
|
|
<option value="light">Light</option>
|
|
|
|
<option value="dark">Dark</option>
|
|
|
|
</select>
|
|
|
|
</div>
|
2023-05-14 07:13:05 +00:00
|
|
|
<div class="label-input-pair flex-columns">
|
2023-04-28 22:29:29 +00:00
|
|
|
<label for="diagramPreviewType">Diagram Preview Type:</label>
|
|
|
|
<select class="flex-main" id="diagramPreviewType" name="diagramPreviewType">
|
|
|
|
<option value="png">PNG</option>
|
|
|
|
<option value="svg">SVG</option>
|
|
|
|
<option value="txt">ASCII Art</option>
|
|
|
|
<option value="pdf">PDF</option>
|
|
|
|
</select>
|
|
|
|
</div>
|
2023-05-14 07:13:05 +00:00
|
|
|
<div class="label-input-pair flex-columns">
|
2023-04-28 22:29:29 +00:00
|
|
|
<label for="editorWatcherTimeout">Editor Watcher Timeout:</label>
|
|
|
|
<input class="flex-main" id="editorWatcherTimeout" type="number" pattern="[1-9]+[0-9]*" value="" />
|
|
|
|
</div>
|
2023-05-14 07:13:05 +00:00
|
|
|
<div class="label-input-pair flex-main">
|
2023-04-28 22:29:29 +00:00
|
|
|
<label for="editorCreateOptions">Monaco Editor Create Options:</label>
|
|
|
|
<br />
|
|
|
|
<div id="settings-monaco-editor"></div>
|
|
|
|
</div>
|
|
|
|
</div>
|
2023-05-14 07:13:05 +00:00
|
|
|
<div class="modal-footer">
|
2023-04-28 22:29:29 +00:00
|
|
|
<input class="ok" type="button" value="Save" onclick="saveSettings();" />
|
2023-05-14 07:13:05 +00:00
|
|
|
<input class="cancel" type="button" value="Cancel" onclick="closeModal('settings');" />
|
2023-04-28 22:29:29 +00:00
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
</div>
|