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:
- "Simple" - marks any modified lines with a colored marker by tracking buffer
- "Diff" - uses a "diff" algorithm to calculate dirty lines for each multi-
line content change. Uses a simple algorithm for marking single-line changes.
Marks the changes according to their types (change/insertion/removal).