Merge branch 'develop' of https://source.jalview.org/git/jalview into develop

merge

diff --combined src/jalview/gui/AlignFrame.java
index d973bb7,f59e560..aa07a93
--- 1/src/jalview/gui/AlignFrame.java
--- 2/src/jalview/gui/AlignFrame.java
+++ b/src/jalview/gui/AlignFrame.java
@@@ -1313,8 -1313,8 +1313,8 @@@ public class AlignFrame extends GAlignF
  
      if (viewport.hasHiddenColumns() && !settings.isExportHiddenColumns())
      {
 -      viewport.setExportHiddenSeqs(settings.isExportHiddenSequences());
 -      omitHidden = viewport.getViewAsString(false);
 +      omitHidden = viewport.getViewAsString(false,
 +              settings.isExportHiddenSequences());
      }
  
      int[] alignmentStartEnd = new int[2];
@@@ -4941,7 -4941,7 +4941,7 @@@
                .getString("label.error_when_translating_sequences_submit_bug_report");
        final String errorTitle = MessageManager
                .getString("label.implementation_error")
-               + MessageManager.getString("translation_failed");
+               + MessageManager.getString("label.translation_failed");
        JOptionPane.showMessageDialog(Desktop.desktop, msg, errorTitle,
                JOptionPane.ERROR_MESSAGE);
        return;