git://source.jalview.org
/
jalview.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
875fc0a
)
JAL-4331 construct and pass on overview title before asking desktop to open the window…
author
James Procter
<j.procter@dundee.ac.uk>
Mon, 13 Nov 2023 16:05:09 +0000
(16:05 +0000)
committer
James Procter
<j.procter@dundee.ac.uk>
Mon, 13 Nov 2023 16:05:09 +0000
(16:05 +0000)
src/jalview/gui/AlignFrame.java
patch
|
blob
|
history
diff --git
a/src/jalview/gui/AlignFrame.java
b/src/jalview/gui/AlignFrame.java
index
0745b85
..
c49626b
100644
(file)
--- a/
src/jalview/gui/AlignFrame.java
+++ b/
src/jalview/gui/AlignFrame.java
@@
-3572,8
+3572,12
@@
public class AlignFrame extends GAlignFrame implements DropTargetListener,
final OverviewPanel overview = new OverviewPanel(alignPanel, frame,
showHidden);
frame.setContentPane(overview);
final OverviewPanel overview = new OverviewPanel(alignPanel, frame,
showHidden);
frame.setContentPane(overview);
- Desktop.addInternalFrame(frame, "", true, frame.getWidth(),
- frame.getHeight(), true, true);
+
+ alignPanel.setOverviewPanel(overview);
+ alignPanel.setOverviewTitle(this);
+
+ Desktop.addInternalFrame(frame, overview.getTitle(), true,
+ frame.getWidth(), frame.getHeight(), true, true);
frame.pack();
frame.setLayer(JLayeredPane.PALETTE_LAYER);
final AlignmentPanel thePanel = this.alignPanel;
frame.pack();
frame.setLayer(JLayeredPane.PALETTE_LAYER);
final AlignmentPanel thePanel = this.alignPanel;
@@
-3593,9
+3597,6
@@
public class AlignFrame extends GAlignFrame implements DropTargetListener,
frame.addKeyListener(getKeyListeners()[0]);
}
frame.addKeyListener(getKeyListeners()[0]);
}
- alignPanel.setOverviewPanel(overview);
- alignPanel.setOverviewTitle(this);
-
return overview;
}
return overview;
}