From 140b0d3f1d7a31d14cb02deb55214bbad44874be Mon Sep 17 00:00:00 2001
From: Jim Procter <jprocter@issues.jalview.org>
Date: Fri, 12 May 2017 15:01:17 +0100
Subject: [PATCH] JAL-2388 mention overview popup in documentation

---
 help/help.jhm                    |    2 ++
 help/helpTOC.xml                 |    1 +
 help/html/features/overview.html |    5 +++++
 3 files changed, 8 insertions(+)

diff --git a/help/help.jhm b/help/help.jhm
index 984c2d1..f931e7e 100755
--- a/help/help.jhm
+++ b/help/help.jhm
@@ -158,4 +158,6 @@
    <mapID target="homeIcon" url="icons/Home.png" />
    <mapID target="printIcon" url="icons/print.png" />
    <mapID target="printSetupIcon" url="icons/setup.png" />
+   
+   <mapID target="overview" url="features/overview.html" />
 </map>
diff --git a/help/helpTOC.xml b/help/helpTOC.xml
index 482ccdf..989d70b 100755
--- a/help/helpTOC.xml
+++ b/help/helpTOC.xml
@@ -24,6 +24,7 @@
 	<tocitem text="Jalview Documentation" target="home" expand="true">
 			<tocitem text="What's new" target="new" expand="true">
 				<tocitem text="Latest Release Notes" target="release"/>
+				<tocitem text="Omit hidden regions in Overview" target="overview"/>
 		</tocitem>
 		
 		<tocitem text="Editing Alignments" target="edit" />
diff --git a/help/html/features/overview.html b/help/html/features/overview.html
index 9d36a1c..4f26592 100755
--- a/help/html/features/overview.html
+++ b/help/html/features/overview.html
@@ -31,6 +31,11 @@
   <p>The red box indicates the currently viewed region of the
     alignment, this may be moved by clicking and dragging with the
     mouse.</p>
+    <p><strong>Right-click</strong> (or CMD-Click) to open the
+    overview's popup menu. This provides an option to include hidden
+    regions in the overview (shown as dark-grey rows and columns). <br/><br/>
+    <em>The option to include/exclude hidden regions in the
+    overview was introduced in Jalview 2.10.2</em>. 
   <p>
     <img src="overview.gif" width="407" height="137">
   </p>
-- 
1.7.10.2