import javax.sound.midi.MidiDevice;
import javax.swing.JEditorPane;
-import javax.swing.JInternalFrame;
import javax.swing.event.InternalFrameAdapter;
import javax.swing.event.InternalFrameEvent;
import javax.swing.event.InternalFrameListener;
}
@Override
public void internalFrameActivated(InternalFrameEvent e) {
- JInternalFrame frame = e.getInternalFrame();
- if( ! (frame instanceof MidiDeviceFrame ) ) return;
- setText(treeNodeTextOf(((MidiDeviceFrame)frame).getMidiDeviceModel()));
+ setText(treeNodeTextOf(((MidiDeviceFrame)e.getInternalFrame()).getMidiDeviceModel()));
}
@Override
public void internalFrameClosing(InternalFrameEvent e) {
- JInternalFrame f = e.getInternalFrame();
- if( ! (f instanceof MidiDeviceFrame ) ) return;
- MidiDeviceModel m = ((MidiDeviceFrame)f).getMidiDeviceModel();
+ MidiDeviceFrame f = (MidiDeviceFrame)e.getInternalFrame();
+ MidiDeviceModel m = f.getMidiDeviceModel();
m.close();
// デバイスが閉じたことを確認してから画面を閉じる
if( ! m.getMidiDevice().isOpen() ) {