The DirtyGutter plugin

Written by Shlomy Reinstein, August 2009.
The DirtyGutter plugin marks dirty lines (lines modified since last save) in the Gutter area. The dirty line information is provided by a so-called "Dirty line provider", which is an extensible service. Two built-in providers are included: