change label for show editor toolbar pref, fix #462

Dyalog · Jun 20, 2018 · a3de784 · a3de784
1 parent 7d3812f
commit a3de784
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/index.html b/index.html
@@ -521,7 +521,7 @@ <h2>Minimap</h2>
       <hr>
       <h2>Other</h2>
       <p><label class=cb_label><input id=code_sqp   type=checkbox>Show <u>q</u>uit prompt</label></p>
-      <p><label class=cb_label><input id=code_set   type=checkbox>Show editor toolbar</label></p>
+      <p><label class=cb_label><input id=code_set   type=checkbox>Show toolbar in editor/trace windows</label></p>
       <p><label class=cb_label><input id=code_coq  type=checkbox>Connect on quit</label></p>
     </div>