Diff of /index.html [fab186] .. [4f56f8] Maximize Restore

  Switch to side-by-side view

--- a/index.html
+++ b/index.html
@@ -15,7 +15,7 @@
 Gutter area. The dirty line information is provided by a so-called "Dirty line
 provider". There are two built-in dirty line providers:
 <ul>
-<li>Simple <b>(Temporarily removed due to malfunction)</b>: This provider keeps track of content changes in the buffer, and
+<li>Simple: This provider keeps track of content changes in the buffer, and
 marks all types of changes (added content, removed content, modified
 content) the same way, using colored markers.<br>
 The Simple provider tries to keep overall resource consumption to a minimum