248249250251252253254255256257258
@Override public void internalFrameDeactivated(InternalFrameEvent evt) { Editor e = frames.inverse().get(evt.getInternalFrame()); if (e != null) { e.revokeState(WindowElementState.ACTIVE); } } } }