Ich bitte darum, die Breite der Zeilennummern um einen Pixel auf 32px zu erhöhen, damit es auch im Firefox unter Mac OS X bei vierstelligen Zeilennummern korrekt angezeigt wird, da es sonst hässlich umgebrochen und die Zeilennummer nicht korrekt lesbar ist.
Participate now!
Don’t have an account yet? Register yourself now and be a part of our community!