+ if a is 0x000007
+ # don't output spaces at the end, for better copy/paste
+ ns = txt.length - 1
+ while ns >= 0 and txt.charAt(ns) is ' '
+ ns -= 1
+ if ns >= 0
+ if ns < txt.length - 1
+ txt = txt.substr 0, ns + 1
+ div.append(@stylize(txt, a))
+ else
+ # if entire line is spaces
+ if txt.length is @term.width
+ div.append('<br>')
+ else
+ div.append(@stylize(txt, a))