I would be fine with just closing this bug. Like you said, it won't solve compilation problems in Python as the code being pasted in uses different spacing than my own code anyways so we are still left with a mix.
-- Gedit auto indent inserts spaces instead of tabs https://bugs.launchpad.net/bugs/214649 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
