removing dead code.

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"}}