Support checkboxes in demo to toggle addons

Fixes #2407
2019-10-26 18:12:20 -07:00
parent 080188c468
commit 486fc714b3
2 changed files with 81 additions and 12 deletions
@@ -26,6 +26,11 @@
      <p>These options can be set in the <code>Terminal</code> constructor or using the <code>Terminal.setOption</code> function.</p>
      <div id="options-container"></div>
    </div>
+    <div>
+      <h3>Addons</h3>
+      <p>Addons can be loaded and unloaded on a particular terminal to extend its functionality.</p>
+      <div id="addons-container"></div>
+    </div>
    <div>
      <h3>Style</h3>
      <div style="display: inline-block; margin-right: 16px;">