Searched refs:rline (Results 1 – 1 of 1) sorted by relevance
2971 rline = '<div class="t" style="left:0;border-left:1px solid black;border-right:0;">{0}</div>\n'2995 htmlline = rline.format(mode)5102 var rline = '<div class="t" style="left:0;border-left:1px solid black;border-right:0;">';5131 htmlline = rline+"<cS>←R</cS></div>";5133 htmlline = rline+"<cS>0ms</div>";