@Override
  public void notifyCommandExecuted(boolean more) {
    super.notifyCommandExecuted(more);
    PyFrameListener.publisher().frameChanged();
    for (PyFrameListener listener : myFrameListeners) {
      listener.frameChanged();
    }
  }
@Override
  public void notifyCommandExecuted(boolean more)