*/
void init()
{
+ setFrameIcon(null);
+
// setBackground(Color.white); // BH 2019
if (!Jalview.isHeadlessMode())
.formatMessage("label.overview_params", new Object[]
{ this.getTitle() }), true, frame.getWidth(), frame.getHeight(),
true, true);
+ frame.setFrameIcon(null);
frame.pack();
frame.setLayer(JLayeredPane.PALETTE_LAYER);
frame.addInternalFrameListener(