I tried with Industrial and Glider themes, the problem happens there too. -- Problem with text selection background color in Eclipse https://launchpad.net/malone/bugs/35616
-- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
