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
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
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
