bug#1254: 23.0.60; linum-mode display problem with variable-pitch font

[Markus Triska]

Chong Yidong <cyd@stupidchicken.com> writes:

> I don't know any completely satisfactory way to resolve this.  One
> possible workaround is for linume.el to provide an option to add an
> extra column to the margin width.

I think that's not necessary: You can get almost the same effect with:

   (setq linum-format "%d ")