The DirtyGutter plugin

Written by Shlomy Reinstein, August 2009.

Table of Contents

  1. Description
  2. Feedback

Description

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". There are two built-in dirty line providers:
In addition, the plugin provides a service for other plugins (e.g. SCM plugins) to contribute dirty line providers, e.g.:
  <SERVICE CLASS="lcm.DirtyLineProvider" NAME="Simple">
    new lcm.providers.simple.SimpleDirtyLineProvider();
  </SERVICE>

Feedback

Any feedback would be most welcome. Please send your feedback to the jedit-users or jedit-devel mailing list.