53bd6f7e56f4e12a1d13855fa7599c743fb453b1,graphbrain/notebook.py,,_edge2html_r,#,12

Before Change

            close_symbol = ")"

        // render opening symbol
        html = 
        <span style="font-weight:bold;{}">{}</span>
        .format(font_size, open_symbol).strip()

        close_html = "</{}>".format(main_tag)

        // render edge children

After Change

            close_html = ""

        // render close symbol
        html = "{}<span style="{}">".format(html, color_html)
        html = "{}<span style="font-weight:bold;{}">{}</span></span>".format(
            html, font_size, close_symbol)

        // render edge

Instances