From 21e95a35ddfb5bde5f6bd91eaedca0c9ebd03630 Mon Sep 17 00:00:00 2001 From: Ozbolt Menegatti Date: Sun, 26 Jan 2020 17:46:21 +0100 Subject: [PATCH] removing dead code. --- src/view/view.py | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/src/view/view.py b/src/view/view.py index 86e29f3..b52ed79 100644 --- a/src/view/view.py +++ b/src/view/view.py @@ -115,16 +115,6 @@ class View: example_tag = "div.example-rest" if example in model.chosen_examples: example_tag += ".example-chosen" - - example_html = h(example_tag, {}, [ - h("span.example-text", {"on": {"click": msg(ShowExampleMenu(example))} }, [ - h("span", {}, example.text()) - ]), - h("div.example-translation-list", {}, [ - h("div.example-translation", {}, [ - h("span.example-arrow", {}, "↪"), - vt - ]) for vt in View.view_translations(example.translations, example, model)])]) cluster = example.get_cluster() dot_attr = {"style": { "visibility": "visible" if cluster is None else "hidden"}}