102103104105106107108109110111112
(int) (cs.height * 0.8d)); } if (cs != null) { child.setSize(cs); pos.positionInternalFrame(child); } } } } }