[Bug 859560] Re: Gedit line number margin doesn't scale with font size
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 Desktop Bugs, which is subscribed to gedit in 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/gedit/+bug/859560/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[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 Ubuntu Desktop Bugs, which is subscribed to gedit in 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/gedit/+bug/859560/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 859560] Re: Gedit line number margin doesn't scale with font size
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 member of Ubuntu Desktop Bugs, which is subscribed to gedit in 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/gedit/+bug/859560/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 859560] Re: Gedit line number margin doesn't scale with font size
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 Desktop Bugs, which is subscribed to gedit in 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/gedit/+bug/859560/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 859560] Re: Gedit line number margin doesn't scale with font size
** Changed in: gedit Status: New = Invalid -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gedit in 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/gedit/+bug/859560/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 859560] Re: Gedit line number margin doesn't scale with font size
** Tags added: testcase -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gedit in 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/gedit/+bug/859560/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 859560] Re: Gedit line number margin doesn't scale with font size
** 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 Ubuntu Desktop Bugs, which is subscribed to gedit in 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/gedit/+bug/859560/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 859560] Re: Gedit line number margin doesn't scale with font size
** Changed in: gedit Status: Unknown = New ** Changed in: gedit Importance: Unknown = Low -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gedit in 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/gedit/+bug/859560/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 859560] Re: Gedit line number margin doesn't scale with font size
** Changed in: gedit (Ubuntu) Status: Confirmed = Triaged -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gedit in 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/gedit/+bug/859560/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 859560] Re: Gedit line number margin doesn't scale with font size
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 Desktop Bugs, which is subscribed to gedit in 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 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 859560] Re: Gedit line number margin doesn't scale with font size
** 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 Desktop Bugs, which is subscribed to gedit in 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 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs