@Override
public void internalFrameActivated(InternalFrameEvent evt) {
JInternalFrame frame = evt.getInternalFrame();
Editor active = frames.inverse().get(frame);
if (active != null) {
active.appendState(WindowElementState.ACTIVE);
}
lastActive = frame;
getEditorService().fireActiveEditorChanged();
}