Clusters now as multipledigit number, correct-er numbering and some removal

This commit is contained in:
2020-02-01 21:43:57 +01:00
parent cf7c8b610b
commit 9dd9ac7854
6 changed files with 17 additions and 20 deletions

View File

@@ -121,7 +121,7 @@ class View:
example_content = []
if cluster is not None:
example_content.append(h("span.example-cluster", {}, NUM2STR[cluster]))
example_content.append(h("span.example-cluster", {}, num2str(cluster)))
example_text_inner_tag = "span.example-text-{}".format(example.get_view_type())
example_content.append(h(example_text_inner_tag, {}, example.text()))