def get_icon_html(file): return html.img(src="file://" + icon.get_icon_path_for_file(file))
def get_icon(file): icon_path = icon.get_icon_path_for_file(file) icon_html = html.img(src=icon_path) return icon_html