There is a way to fix this bug, http://bugs.launchpad.net/ubuntu/+source/gedit-plugins/+bug/348500/comments/3. The new implementation of drawspaces plugin is "using the appropriate gtksourceview api": color of spaces and other special characters (like tabs and new lines) now can't be changed from the plugin. My question is: How can I change this characters color? Thanks
-- visible space should be lighter, not so dark https://bugs.launchpad.net/bugs/361682 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
