public interface SplitterProportionsData extends JDOMExternalizable
Modifier and Type | Method and Description |
---|---|
void |
externalizeFromDimensionService(java.lang.String key) |
void |
externalizeToDimensionService(java.lang.String key) |
void |
restoreSplitterProportions(java.awt.Component root) |
void |
saveSplitterProportions(java.awt.Component root) |
readExternal, writeExternal
void saveSplitterProportions(java.awt.Component root)
void restoreSplitterProportions(java.awt.Component root)
void externalizeToDimensionService(java.lang.String key)
void externalizeFromDimensionService(java.lang.String key)