if (patchEditor == null) {
// No editor at all showed up.
continue;
}
Container component = patchEditor.component();
if (component instanceof MDIFrameProxy) {
MDIFrameProxy proxy = (MDIFrameProxy) component;
JSLFrame jslFrame = proxy.getJSLFrame();
if (jslFrame instanceof PatchEditorFrame) {
PatchEditorFrame frame =