Diff of /index.html [860eac] .. [0778e8] Maximize Restore

  Switch to unified view

a/index.html b/index.html
...
...
13
</a>
13
</a>
14
The DirtyGutter plugin marks dirty lines (lines modified since last save) in the
14
The DirtyGutter plugin marks dirty lines (lines modified since last save) in the
15
Gutter area. The dirty line information is provided by a so-called "Dirty line
15
Gutter area. The dirty line information is provided by a so-called "Dirty line
16
provider". There are two built-in dirty line providers:
16
provider". There are two built-in dirty line providers:
17
<ul>
17
<ul>
18
<li>Simple: This provider keeps track of content changes in the buffer, and
18
<li>Simple <b>(Temporarily removed due to malfunction)</b>: This provider keeps track of content changes in the buffer, and
19
marks all types of changes (added content, removed content, modified
19
marks all types of changes (added content, removed content, modified
20
content) the same way, using colored markers.<br>
20
content) the same way, using colored markers.<br>
21
The Simple provider tries to keep overall resource consumption to a minimum
21
The Simple provider tries to keep overall resource consumption to a minimum
22
(memory, I/O, CPU).<br>
22
(memory, I/O, CPU).<br>
23
The provider supports undo/redo by maintaining its own undo information.
23
The provider supports undo/redo by maintaining its own undo information.