id summary reporter owner description type status priority milestone component version resolution keywords cc blockedby blocking platform 11764 Terminal displays incorrectly with proportional font when DejaVu is uninstalled mounty jackburton Since the DejaVu font is no longer installed by default, the terminal metric calculations with the default proportional font are haywire; it is necessary to use the settings to put it back to a fixed-pitch font. bug closed normal R1 Applications/Terminal R1/Development fixed 11792 All