// BH 2019.07.26 we allow for an embedded
// undecorated overview with defined size
- frame.setName(Jalview.getAppID("overview"));
+ frame.setName(Platform.getAppID("overview"));
//
Dimension dim = Platform.getDimIfEmbedded(frame, -1, -1);
if (dim != null && dim.width == 0)