-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathoptions.html
52 lines (52 loc) · 3.04 KB
/
options.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
<html>
<head>
<title>
iibpd options</title>
<LINK REL="stylesheet" HREF="options.css" TYPE="text/css">
</head>
<body>
<div class="banner">Improved IBM BPM Process Debugger</div>
<div id="config" class="content">
<input type=checkbox id="enableIIBPD"><label for="enableIIBPD">Enable IIBPD</label></input><br>
<h4>Configuration</h4>
<fieldset>
<legend>Metadata</legend>
<input type=radio name="metaData" id="discardMetadata"><label for="discardMetadata">Discard - <span class="italicised">fastest!</span></label></input>
<input type=radio name="metaData" id="hide_metadata"><label for="hide_metadata">Hide</label></input>
<input type=radio name="metaData" id="show_metadata"><label for="show_metadata">Show</label></input>
</fieldset>
<div class="col2">
<fieldset>
<legend>Auto Open Depth</legend>
<span class="rangeDisplay" id="autoOpenDepthDisplay">0</span> <input type="range" id="autoOpenDepth" inputmode="numeric" min="0" max="9" required></input>
</fieldset>
<fieldset>
<legend>Attribute Width</legend>
<span class="rangeDisplay" id="attrWidthDisplay">0</span> <input type="range" id="attrWidth" inputmode="numeric" min="0" max="20" required></input>
</fieldset>
</div>
<fieldset>
<legend>Colours</legend>
<div>
<span class="colourPicker"><input type="color" id="colourTagEnds" value="#000000"> <span class="reset" id="resetColourTagEnds">↺</span> <label for="colourTagEnds">Tag ends</label></input></span>
<span class="colourPicker"><input type="color" id="colourTagName" value="#800080"> <span class="reset" id="resetColourTagName">↺</span> <label for="colourTagName">Tag name</label></input></span>
<span class="colourPicker"><input type="color" id="colourAttrName" value="#000000"> <span class="reset" id="resetColourAttrName">↺</span> <label for="colourAttrName">Attribute name</label></input></span>
<span class="colourPicker"><input type="color" id="colourAttrValue" value="#0000FF"> <span class="reset" id="resetColourAttrValue">↺</span> <label for="colourAttrValue">Attribute value</label></input></span>
<span class="colourPicker"><input type="color" id="colourData" value="#008000"> <span class="reset" id="resetColourData">↺</span> <label for="colourData">Data</label></input></span>
<span class="colourPicker"><input type="color" id="colourBackground" value="#dae3ec"> <span class="reset" id="resetColourBackground">↺</span> <label for="colourBackground">Background</label></input></span>
<span class="colourPicker"><input type="color" id="colourForeground" value="#000000"> <span class="reset" id="resetColourForeground">↺</span> <label for="colourForeground">Foreground</label></input></span>
</div>
</fieldset>
</div>
<div id="hotkeys" class="content">
<h4>Action/Hotkeys</h4>
<div>Step: S, Enter, or Right arrow</div>
<div>Step Over: SHIFT-S</div>
<div>Run: R</div>
</div>
<div>
<button id="save">Save</button><span id="status"></span>
</div>
</body>
<script src="options.js"></script>
</html>