← Back to team overview

desktop-packages team mailing list archive

[Bug 859560] Re: Gedit line number margin doesn't scale with font size

 

Yes, upstream bug suggests it has been fixed in 3.10, let's close it,
thanks

** Changed in: gedit (Ubuntu)
       Status: Triaged => Fix Released

-- 
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gedit in Ubuntu.
https://bugs.launchpad.net/bugs/859560

Title:
  Gedit line number margin doesn't scale with font size

Status in Light-Weight Text Editor for Gnome:
  Invalid
Status in gedit package in Ubuntu:
  Fix Released

Bug description:
  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.

To manage notifications about this bug go to:
https://bugs.launchpad.net/gedit/+bug/859560/+subscriptions


References