From f9c965154cb0706f3082e8db4700970618f45a6e Mon Sep 17 00:00:00 2001 From: hansonr Date: Wed, 27 Mar 2019 07:00:52 -0400 Subject: [PATCH] allows web-page embedding --- src/jalview/jbgui/GAlignFrame.java | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/jalview/jbgui/GAlignFrame.java b/src/jalview/jbgui/GAlignFrame.java index 18731ad..55b4f28 100755 --- a/src/jalview/jbgui/GAlignFrame.java +++ b/src/jalview/jbgui/GAlignFrame.java @@ -214,6 +214,10 @@ public class GAlignFrame extends JInternalFrame { try { + + // for Web-page embedding using id=align-frame-div + setName("align-frame"); + jbInit(); setJMenuBar(alignFrameMenuBar); -- 1.7.10.2