diff options
Diffstat (limited to 'ext/mixed')
| -rw-r--r-- | ext/mixed/js/display-generator.js | 2 | 
1 files changed, 2 insertions, 0 deletions
| diff --git a/ext/mixed/js/display-generator.js b/ext/mixed/js/display-generator.js index e9cdd998..fd7c5c1f 100644 --- a/ext/mixed/js/display-generator.js +++ b/ext/mixed/js/display-generator.js @@ -45,11 +45,13 @@ class DisplayGenerator {          const definitionMulti = Array.isArray(details.definitions);          const expressionCount = expressionMulti ? details.expressions.length : 1;          const definitionCount = definitionMulti ? details.definitions.length : 1; +        const uniqueExpressionCount = Array.isArray(details.expression) ? new Set(details.expression).size : 1;          node.dataset.expressionMulti = `${expressionMulti}`;          node.dataset.definitionMulti = `${definitionMulti}`;          node.dataset.expressionCount = `${expressionCount}`;          node.dataset.definitionCount = `${definitionCount}`; +        node.dataset.uniqueExpressionCount = `${uniqueExpressionCount}`;          bodyContainer.dataset.sectionCount = `${              (definitionCount > 0 ? 1 : 0) |