[Bug 1218351] Re: ubuntu gnome - gedit - 80 char line end marker hardly visible
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 Desktop Bugs, which is subscribed to gedit in 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 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1218351] Re: ubuntu gnome - gedit - 80 char line end marker hardly visible
** Changed in: gedit Status: Confirmed = Fix Released -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gedit in 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 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1218351] Re: ubuntu gnome - gedit - 80 char line end marker hardly visible
** Changed in: gedit Status: Unknown = Confirmed ** Changed in: gedit Importance: Unknown = Medium -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gedit in 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 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1218351] Re: ubuntu gnome - gedit - 80 char line end marker hardly visible
** Bug watch added: GNOME Bug Tracker #707923 https://bugzilla.gnome.org/show_bug.cgi?id=707923 ** Also affects: gedit via https://bugzilla.gnome.org/show_bug.cgi?id=707923 Importance: Unknown Status: Unknown -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gedit in 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 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1218351] Re: ubuntu gnome - gedit - 80 char line end marker hardly visible
This is no longer a constant virtical line which was good, but a single line marker. The old way was better. I class this as a regression. -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gedit in 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/ubuntu/+source/gedit/+bug/1218351/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
