zedapp/zed — pull request #138 by robru (2014-03-15 22:54:39+00:00)
Title: Global auto revert mode, fixes #125

Apologies for the diff, I based it off #129 instead of off master so that I could take advantage of the fancy new `toggle.js`. Please merge #129 first and then review this one ;-)