bold series fonts break monospace

[k b]

as an example, with bash syntax highlighting applied to

      #!/usr/bin
      #!/usr/bin

the first line runs longer than the second. that's no good

ProblemType: Bug
DistroRelease: elementary OS 0.2
Package: elementary-desktop 1.289-0~363~precise1 [origin: LP-PPA-elementary-os-daily]
ProcVersionSignature: Ubuntu 3.2.0-35.55-generic-pae 3.2.34
Uname: Linux 3.2.0-35-generic-pae i686
NonfreeKernelModules: nvidia
ApportVersion: 2.0.1-0ubuntu15+elementary3~precise1
Architecture: i386
CrashDB: elementary_meta
Date: Sun Dec 23 17:16:34 2012
InstallationMedia: elementary OS 0.2 "Luna" - Beta 1 i386 (20121114)
MarkForUpload: True
ProcEnviron:
 PATH=(custom, no user)
 LANG=en_US.UTF-8
 SHELL=/bin/bash
SourcePackage: elementary-meta
SuspiciousXErrors:

ThirdParty: True
UpgradeStatus: No upgrade log present (probably fresh install)

[Mario Guerriero (mefrio-g)]

it is the default bach highlighting system. We should write our own style scheme to fix that but I am not sure we want it.

[David Gomes (davidgomes)]

Today I'll add an option to disable bold characters. I am not yet sure if I want this fixed by default, though. (Terminal)

[k b (boijeenyus)]

ahahah. it is not about the style silly. it is about monospaced text staying M O N O S P A C E D.

in many font families, bold letterforms are a tad wider than their roman counterparts, so if we replace a segment of roman text with its bold counterpart, the width of the segment naturally increases several tads.

now in our text editors, we often opt for monospaced fonts, not because monospaced fonts are the gold standard of beautiful typography, but because we want our text to stay M O N O S P A C E D. that is why we can talk about the width of a line in characters. that is why we can place a vertical line in scratch to indicated the right margin. that is why we can print nicely aligned columns in a text user interface.

so if we are going to mix the bold and roman series of a monospaced font family, then W E H A V E T O C O M P E N S A T E F O R T H E T A D S.

thanks for all y'all's hard work.