Merge branch 'features/JAL-2435splitScreenFont' into develop

diff --cc help/help.jhm
Simple merge

diff --cc help/helpTOC.xml
index f76da16,83950aa..db47351
--- 1/help/helpTOC.xml
--- 2/help/helpTOC.xml
+++ b/help/helpTOC.xml
@@@ -24,8 -24,7 +24,9 @@@
        <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="Groovy Features Counter example" target="groovy.featurescounter"/>
 +                              <tocitem text="Omit hidden regions in Overview" target="overview"/>
+                               <tocitem text="Split Frame View" target="splitframe.mirrorfonts" />
                </tocitem>
                
                <tocitem text="Editing Alignments" target="edit" />

diff --cc resources/lang/Messages.properties
Simple merge

diff --cc resources/lang/Messages_es.properties
Simple merge

diff --cc src/jalview/appletgui/AlignViewport.java
index 5435d81,ebfd6f0..9629a5f
--- 1/src/jalview/appletgui/AlignViewport.java
--- 2/src/jalview/appletgui/AlignViewport.java
+++ b/src/jalview/appletgui/AlignViewport.java
@@@ -40,8 -39,10 +40,9 @@@ import jalview.structure.SelectionSourc
  import jalview.structure.StructureSelectionManager;
  import jalview.structure.VamsasSource;
  import jalview.viewmodel.AlignmentViewport;
 -import jalview.viewmodel.ViewportRanges;
  
  import java.awt.Font;
+ import java.awt.FontMetrics;
  
  public class AlignViewport extends AlignmentViewport implements
          SelectionSource

diff --cc src/jalview/appletgui/AlignmentPanel.java
Simple merge

diff --cc src/jalview/appletgui/SeqPanel.java
Simple merge

diff --cc src/jalview/gui/AlignViewport.java
Simple merge

diff --cc src/jalview/gui/SeqPanel.java
Simple merge

diff --cc src/jalview/viewmodel/AlignmentViewport.java
Simple merge