|
@@ -123,7 +123,9 @@
|
|
|
<span id = "execution-dialog-title">?</span>
|
|
<span id = "execution-dialog-title">?</span>
|
|
|
</h2>
|
|
</h2>
|
|
|
|
|
|
|
|
- <button id = "execution-dialog-toggle-size" title = "Toggle dialog size">🗖</button>
|
|
|
|
|
|
|
+ <button id = "execution-dialog-toggle-size" title = "Toggle dialog size">
|
|
|
|
|
+ <svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24"><path fill="currentColor" d="M3 3h6v2H6.462l4.843 4.843l-1.415 1.414L5 6.367V9H3zm0 18h6v-2H6.376l4.929-4.928l-1.415-1.414L5 17.548V15H3zm12 0h6v-6h-2v2.524l-4.867-4.866l-1.414 1.414L17.647 19H15zm6-18h-6v2h2.562l-4.843 4.843l1.414 1.414L19 6.39V9h2z"/></svg>
|
|
|
|
|
+ </button>
|
|
|
</div>
|
|
</div>
|
|
|
<div id = "execution-dialog-basics" class = "padded-content">
|
|
<div id = "execution-dialog-basics" class = "padded-content">
|
|
|
<strong>Started: </strong><span id = "execution-dialog-datetime-started">unknown</span>
|
|
<strong>Started: </strong><span id = "execution-dialog-datetime-started">unknown</span>
|
jamesread