Ugly trick to figure out editor char width for header adjustment