zedapp/zed — pull request #143 by robru (2014-03-19 06:10:10+00:00)
Title: Fix the whitespace stripper with new sandbox APIs. Fixes #142

Ok, I did it. The stripper code got even longer, but it's working ;-)

I confirmed after autosave, selection stays alive.