diff --git a/src/web/HTMLCategory.mjs b/src/web/HTMLCategory.mjs
index 0414fd71..b61a6740 100755
--- a/src/web/HTMLCategory.mjs
+++ b/src/web/HTMLCategory.mjs
@@ -42,6 +42,9 @@ class HTMLCategory {
let html = `
${this.name}
+
+ ${this.opList.length}
+
`;
diff --git a/src/web/Manager.mjs b/src/web/Manager.mjs
index b188b3b9..2020b2a0 100755
--- a/src/web/Manager.mjs
+++ b/src/web/Manager.mjs
@@ -229,6 +229,7 @@ class Manager {
this.addDynamicListener(".option-item input[type=checkbox]", "change", this.options.switchChange, this.options);
this.addDynamicListener(".option-item input[type=checkbox]#wordWrap", "change", this.options.setWordWrap, this.options);
this.addDynamicListener(".option-item input[type=checkbox]#useMetaKey", "change", this.bindings.updateKeybList, this.bindings);
+ this.addDynamicListener(".option-item input[type=checkbox]#showCatCount", "change", this.ops.setCatCount, this.ops);
this.addDynamicListener(".option-item input[type=number]", "keyup", this.options.numberChange, this.options);
this.addDynamicListener(".option-item input[type=number]", "change", this.options.numberChange, this.options);
this.addDynamicListener(".option-item select", "change", this.options.selectChange, this.options);
diff --git a/src/web/html/index.html b/src/web/html/index.html
index 13e7b8e3..38bf7ccc 100755
--- a/src/web/html/index.html
+++ b/src/web/html/index.html
@@ -171,6 +171,7 @@
+
+
+
+