git://source.jalview.org / jalview.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
Merge branch 'Jalview-JS/develop' into merge_js_develop
[jalview.git] / src / jalview / appletgui / TitledPanel.java
diff --git a/src/jalview/appletgui/TitledPanel.java b/src/jalview/appletgui/TitledPanel.java
index dec6573..8c72f64 100644 (file)
--- a/src/jalview/appletgui/TitledPanel.java
+++ b/src/jalview/appletgui/TitledPanel.java
@@ -23,6 +23,8 @@ package jalview.appletgui;
 import java.awt.Graphics;
 import java.awt.Insets;
 import java.awt.Panel;
+import java.awt.event.WindowAdapter;
+import java.awt.event.WindowEvent;
 
 public class TitledPanel extends Panel
 {