the new version with that change has been uploaded
** Changed in: gtksourceview3 (Ubuntu)
Status: Fix Committed => 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/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
