Skip to content
Permalink
Browse files

FrameNum above buttons to easily exclude buttons in screencast.

[Refactor][Toolbox]
  • Loading branch information...
lemmy committed Nov 7, 2019
1 parent a5e82e1 commit 3d4050040b833b56386f6f8f1a2728902a7ccd00
Showing with 2 additions and 1 deletion.
  1. +2 −1 org.lamport.tla.toolbox.jnlp/files/animator.html
@@ -32,9 +32,10 @@ <h2>TLA+ Trace Animator</h2>
</div>

<!-- Control Buttons and Frame Info -->
<!-- FrameNum above buttons to easily exclude buttons in screencast -->
<div id="frameNum">Frame Number: 0</div>
<button id="prevBtn">Prev Frame</button>
<button id="nextBtn">Next Frame</button>
<div id="frameNum">Frame Number: 0</div>

</div>

0 comments on commit 3d40500

Please sign in to comment.
You can’t perform that action at this time.