@Override
  public @Nullable Magnificator getMagnificator() {
    return ClientProperty.get(getView(), Magnificator.CLIENT_PROPERTY_KEY);
  }
@Override
  public @Nullable Magnificator getMagnificator()