[Desktop-packages] [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 -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
[Desktop-packages] [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 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: Triaged 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 -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
[Desktop-packages] [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 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: Triaged 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 -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
[Desktop-packages] [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 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: Triaged 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 -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
[Desktop-packages] [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 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: Triaged 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 -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
[Desktop-packages] [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 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: New Status in “gedit” package in Ubuntu: Triaged 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 -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
[Desktop-packages] [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 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: Unknown Status in “gedit” package in Ubuntu: Confirmed 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 -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
[Desktop-packages] [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 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: New Status in “gedit” package in Ubuntu: Confirmed 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 -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
[Desktop-packages] [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 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: New Status in “gedit” package in Ubuntu: Triaged 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 -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
[Desktop-packages] [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 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 “gedit” package in Ubuntu: Confirmed 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/ubuntu/+source/gedit/+bug/859560/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
[Desktop-packages] [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 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 “gedit” package in Ubuntu: Confirmed 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/ubuntu/+source/gedit/+bug/859560/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp