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
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
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
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
** 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
** 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.
** 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
** 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 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
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
** 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
11 matches
Mail list logo