#915 DirtyGutter 0.3b

closed
Townsfolk
None
5
2014-02-02
2013-10-08
Shlomy Reinstein
No

Paste the text below into the Plugin Central Submission Tracker at https://sourceforge.net/tracker/?group_id=588&atid=625093

\{\{\{ LineChangeMarker 0.3b
Source: Source code is in Git version 860eac2..0778e81
Announcement: Removed the "Simple" dirty line provider as it occasionally caused malfunction during Save operations.
Requires Java 1.6
Requires jEdit 05.00.99.00

Short Description: Marks changed lines \(since last save\) in gutter.

Long Description: <html>
<title>DirtyGutter plugin</title>
<body>
<h1>The DirtyGutter plugin</h1>
Written by Shlomy Reinstein, August 2009.<br>
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:
<ul>
<li>"Simple" - marks any modified lines with a colored marker by tracking buffer
content changes.
<li>"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\).
\}\}\}

Discussion

  • Townsfolk
    Townsfolk
    2013-10-14

    • assigned_to: nobody --> elberry
    • status: open --> wont-fix
     
  • Townsfolk
    Townsfolk
    2013-10-14

    Hey Shlomy,

    I need a proper tag to release this.

    Please create one and submit a new release request with the tag.

     
    • status: wont-fix --> open
     
  • Paste the text below into the Plugin Central Submission Tracker at https://sourceforge.net/tracker/?group_id=588&atid=625093

    \{\{\{ LineChangeMarker 0.3b
    Source: Source code is in Git with the tag DirtyGutter-0.3b
    Announcement: Removed the <Simple> dirty line provider, which caused many problems.
    Requires Java 1.6
    Requires jEdit 05.00.99.00
    
    Short Description: Marks changed lines \(since last save\) in gutter.
    
    Long Description: <html>
    <title>DirtyGutter plugin</title>
    <body>
    <h1>The DirtyGutter plugin</h1>
    Written by Shlomy Reinstein, August 2009.<br>
    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:
    <ul>
    <li>"Simple" - marks any modified lines with a colored marker by tracking buffer
    content changes.
    <li>"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\).
    \}\}\}
    
     
  • Townsfolk
    Townsfolk
    2013-10-14

    Released to Plugin Central.

     
  • Townsfolk
    Townsfolk
    2013-10-14

    Thanks for the quick turnaround.

     
  • Townsfolk
    Townsfolk
    2013-10-14

    • status: open --> closed