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

2015-03-25 Thread Sebastien Bacher
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 Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/859560

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

2015-03-25 Thread Morgane Roy
It seems that this bug has been fixed. I am currently using Gedit 3.1O.4 in ubuntu 14.04 and the margin scales correctly. Should the status of this bug be updated ? -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad

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

2014-10-11 Thread Joseph Mansigian
I can confirm the "Gedit line number does not scale with font size" problem reported by Paul Duke. This is a serious issue that forces me to keep a magnifying glass by my machine when I work. There has been insensitivity to this problem. -- You received this bug notification because you are a

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

2013-05-02 Thread Paul Duke
New install of Ubuntu 12.04 64 bit. Bug still exists. I've suffered with this bug for about a year on prior 32 bit system and I must have larger fonts. Please fix it. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchp

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

2012-07-28 Thread Bug Watch Updater
** Changed in: gedit Status: New => Invalid -- 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 th

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

2012-02-09 Thread Vadim Rutkovsky
** Tags added: testcase -- 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.

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

2012-02-08 Thread Sebastien Bacher
** Changed in: gedit (Ubuntu) Status: Confirmed => Triaged -- 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 notific

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

2012-02-08 Thread Bug Watch Updater
** Changed in: gedit Status: Unknown => New ** Changed in: gedit Importance: Unknown => Low -- 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 sc

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

2012-02-08 Thread Vadim Rutkovsky
** Bug watch added: GNOME Bug Tracker #669672 https://bugzilla.gnome.org/show_bug.cgi?id=669672 ** Also affects: gedit via https://bugzilla.gnome.org/show_bug.cgi?id=669672 Importance: Unknown Status: Unknown -- You received this bug notification because you are a member of Ubunt

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

2011-11-07 Thread Simon Allen
The issue appears to be a scintilla issue as this also affect the Elementary project's scratch text editor. -- 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

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

2011-09-26 Thread Robert Roth
** Changed in: gedit (Ubuntu) Status: New => Confirmed ** Changed in: gedit (Ubuntu) Importance: Undecided => Low -- 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 nu