From 4db555a8f689e05652674009967a968021d6b340 Mon Sep 17 00:00:00 2001
From: Ben Soares <bsoares@dundee.ac.uk>
Date: Thu, 24 Jan 2019 16:54:21 +0000
Subject: [PATCH] JAL-3141 Added a '.fa' to filename examples

---
 src/jalview/jbgui/GPreferences.java |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/jalview/jbgui/GPreferences.java b/src/jalview/jbgui/GPreferences.java
index a38283b..7c50674 100755
--- a/src/jalview/jbgui/GPreferences.java
+++ b/src/jalview/jbgui/GPreferences.java
@@ -2170,7 +2170,7 @@ public class GPreferences extends JPanel
   protected void updateBackupFilesExampleLabel()
   {
     int exampleindex = 12;
-    String base = MessageManager.getString("label.filename");
+    String base = MessageManager.getString("label.filename") + ".fa";
     if (base == null || base.length() == 0)
     {
       base = "file_name.fa";
-- 
1.7.10.2