X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FDesktop.java;h=0ee6db7da10dcb7379c90c56c98c426c8aabf22b;hb=062ebc02980364930ceb26dd6c06448af971fe20;hp=2d1ba125c0210165e442125b92a513c27ae13d49;hpb=728ae344b37e93155d8f54173535f8367bf25f07;p=jalview.git diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index 2d1ba12..0ee6db7 100644 --- 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) {