Bug 72773: store and navigate multiple edit history locations

Change-Id: Id12e6b0e09ba2936445a07c8d5704536639f85df

2 files changed, 32 insertions, 0 deletions

diff --git a/4.17/images/multiple-last-edit-locations.png b/4.17/images/multiple-last-edit-locations.png
new file mode 100644
index 00000000..d81d67d0
--- /dev/null
+++ b/4.17/images/multiple-last-edit-locations.png
diff --git a/4.17/platform.html b/4.17/platform.html
index 21774c33..1abeb64f 100644
--- a/4.17/platform.html
+++ b/4.17/platform.html
@@ -85,6 +85,38 @@ ul {padding-left: 13px;}
     <h2>Text Editors </h2>
     </td>
   </tr>
+
+  <tr id="multiple-last-edit-locations"><!-- https://bugs.eclipse.org/bugs/show_bug.cgi?id=72773 -->
+    <td class="title">Multiple Last Edit Locations</td>
+    <td class="content">
+      <b>Last Edit Location</b> navigation is now expanded to remember multiple edit locations.  
+    <p>
+      The last 15 edit locations are now remembered.  For convenience, similar edit locations in close proximity to each other are also merged so that each of the 15 remembered locations remains distinct.
+    </p>
+      <p>
+        <img src="images/multiple-last-edit-locations.png" alt="new menu item: Next Edit History" />
+      </p>
+   
+      <h4>How to use</h4>
+
+      <ul>
+        <li>
+      <b>Ctrl+Q</b> keyboard shortcut continues to work same as before, navigating to the most recent edit location, and normal GUI menu navigation likewise can be used same as before.  
+      <p>
+        However, now continuing to hold <b>Ctrl</b> and then pressing <b>Q</b> again begins a traversal through the history of prior edit locations, with each additional press of <b>Q</b> moving a step further back in history.  Once traversal stops, future <b>Ctrl+Q</b> actions are now temporarily anchored to this older historical location for easy exploration of that code region.
+      </p>
+    </li>
+    <li>
+      <b>Ctrl+Alt+Q</b> (or on Mac <b>Ctrl+Opt+Q</b>) conversely moves the anchor <i>forward</i> through edit history, so after traversing backward with <b>Ctrl+Q</b>, you can go forward again by repeatedly pressing <b>Ctrl+Alt+Q</b> (or on Mac <b>Ctrl+Opt+Q</b>).  A new menu item has likewise been added for this forward navigation as well.
+    </li>
+    </ul>
+
+      <p>
+        New edit locations are always inserted at the end, so original historical ordering is always maintained.  New edits also reset the last location "anchor" back to the most recent edit, so that pressing <b>Ctrl+Q</b> once again brings you to the most recent edit rather than a historical one.
+      </p>
+    </td>
+  </tr>
+
    <tr id="print-header-date"> <!-- https://bugs.eclipse.org/bugs/show_bug.cgi?id=533429 -->
     <td class="title">Printing editor content adds date in header</td>
     <td class="content">