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

[jalview.git] / src / jalview / gui / Desktop.java

diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java
index 2d1ba12..0ee6db7 100644 (file)
--- a/src/jalview/gui/Desktop.java
+++ b/src/jalview/gui/Desktop.java
@@ -877,6 +877,7 @@ public class Desktop extends jalview.jbgui.GDesktop
         }
       }
 
+
       @Override
       public void internalFrameClosed(InternalFrameEvent evt)
       {