changed display of tab character to "▸"