From f75f718efed0a36ee485078ef6898f9d92387fdf Mon Sep 17 00:00:00 2001 From: hansonr Date: Sun, 31 Mar 2019 12:20:31 -0500 Subject: [PATCH] adds SplitFrame name jalview-splitframe; --- src/jalview/jbgui/GSplitFrame.java | 1 + 1 file changed, 1 insertion(+) diff --git a/src/jalview/jbgui/GSplitFrame.java b/src/jalview/jbgui/GSplitFrame.java index fd25116..3e04f03 100644 --- a/src/jalview/jbgui/GSplitFrame.java +++ b/src/jalview/jbgui/GSplitFrame.java @@ -57,6 +57,7 @@ public class GSplitFrame extends JInternalFrame */ public GSplitFrame(GAlignFrame top, GAlignFrame bottom) { + setName("jalview-splitframe"); this.topFrame = top; this.bottomFrame = bottom; -- 1.7.10.2