public final void setAndLoadSplitterProportionKey(@NotNull String key) {
    setSplitterProportionKey(key);
    loadProportion();
  }
public final void setAndLoadSplitterProportionKey(@NotNull String key)