ca8c7f0b2f
This is the standard character to denote tabs in a file. Previously I was using a border line because it meant the tab would copy as a space when the user copied the line onto the clipboard, and they had no way to disable the visual tab indications. Now that we can turn off the tabs, its better to use a more widely recognized character. Change-Id: Idd6ffd4aff1c09b67f66efaf893b16f67bf1107a Signed-off-by: Shawn O. Pearce <sop@google.com>