The bug has been fixed upstream in that commit:
https://git.gnome.org/browse/gtksourceview/commit/?id=190fb01d5972efd3f81dd90c38fe82f80561de6b
** Package changed: gedit (Ubuntu) => gtksourceview3 (Ubuntu)
** Changed in: gtksourceview3 (Ubuntu)
Importance: Undecided => Low
** Changed in: gtksourceview3 (Ubuntu)
Status: New => Fix Committed
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1218351
Title:
ubuntu gnome - gedit - 80 char line end marker hardly visible
To manage notifications about this bug go to:
https://bugs.launchpad.net/gedit/+bug/1218351/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
