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 Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
