Public bug reported:
Machine: 64bit Ubuntu Ocelot with all updates applied as of 26/09/2011.
The width of the Gedit line number margin (enabled in preferences)
doesn't scale with the font size. I am visually impaired and thus have
my gedit font size set to 16. However when I do this and press enter a
few times (so I have more than 9 lines in a file) the margin isn't
expanded to fit the new two digit number. When we have more than 99
lines (three digits), the margin scales correctly once more.
This happens on a new setup with fresh configuration files.
Steps to reproduce:
1). Open gedit
2). Change font size to 16 (probably also has issues at other sizes too).
3). Make more than 9 lines in the file.
** Affects: gedit (Ubuntu)
Importance: Undecided
Status: New
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/859560
Title:
Gedit line number margin doesn't scale with font size
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gedit/+bug/859560/+subscriptions
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
