Java 类com.intellij.openapi.ui.SplitterProportionsData 实例源码

@Override
public void dispose() {
    super.dispose();

    SplitterProportionsData d = new SplitterProportionsDataImpl();
    d.externalizeToDimensionService(getClass().getName());
    d.saveSplitterProportions(mySplitter);

    if (myViewer != null) {
        EditorFactory.getInstance().releaseEditor(myViewer);
        myViewer = null;
    }
}

@Override
public void dispose() {
  super.dispose();

  SplitterProportionsData d = new SplitterProportionsDataImpl();
  d.externalizeToDimensionService(getClass().getName());
  d.saveSplitterProportions(mySplitter);

  if (myViewer != null) {
    EditorFactory.getInstance().releaseEditor(myViewer);
    myViewer = null;
  }
}

@Override
public void dispose() {
  super.dispose();

  SplitterProportionsData d = new SplitterProportionsDataImpl();
  d.externalizeToDimensionService(getClass().getName());
  d.saveSplitterProportions(mySplitter);

  if (myViewer != null) {
    EditorFactory.getInstance().releaseEditor(myViewer);
    myViewer = null;
  }
}

@Override
public void dispose() {
  super.dispose();

  SplitterProportionsData d = new SplitterProportionsDataImpl();
  d.externalizeToDimensionService(getClass().getName());
  d.saveSplitterProportions(mySplitter);

  if (myViewer != null) {
    EditorFactory.getInstance().releaseEditor(myViewer);
    myViewer = null;
  }
}

private SplitterProportionsData getSplitterProportions() {
  return myAvailable ? myUISettings.availableProportions : myUISettings.installedProportions;
}

private SplitterProportionsData getSplitterProportions() {
  return myAvailable ? myUISettings.getAvailableSplitterProportionsData() : myUISettings.getSplitterProportionsData();
}

public SplitterProportionsData getSplitterProportionsData() {
  return mySplitterProportionsData;
}

public SplitterProportionsData getAvailableSplitterProportionsData() {
  return myAvailableSplitterProportionsData;
}

private SplitterProportionsData getSplitterProportions() {
  return myAvailable ? myUISettings.getAvailableSplitterProportionsData() : myUISettings.getSplitterProportionsData();
}

public SplitterProportionsData getSplitterProportionsData() {
  return mySplitterProportionsData;
}

public SplitterProportionsData getAvailableSplitterProportionsData() {
  return myAvailableSplitterProportionsData;
}

SplitterProportionsData createSplitterProportionsData();