de.uka.ilkd.key.util

Class PreferenceSaver.SplitPaneSaver

java.lang.Object

de.uka.ilkd.key.util.PreferenceSaver.SplitPaneSaver

All Implemented Interfaces:

PreferenceSaver.Saver<JSplitPane>

Enclosing class:

PreferenceSaver

private static class PreferenceSaver.SplitPaneSaver
extends Object
implements PreferenceSaver.Saver<JSplitPane>

Splitpanes store the location of the divider.

Constructor Summary

Constructors

Modifier	Constructor and Description
private	SplitPaneSaver()

Method Summary

Modifier and Type	Method and Description
void	load(JSplitPane component, Preferences prefs)
void	save(JSplitPane component, Preferences prefs)
Class<JSplitPane>	supportedClass()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SplitPaneSaver

private SplitPaneSaver()

Method Detail

load

public void load(JSplitPane component,
                 Preferences prefs)

Specified by:

load in interface PreferenceSaver.Saver<JSplitPane>

save

public void save(JSplitPane component,
                 Preferences prefs)

Specified by:

save in interface PreferenceSaver.Saver<JSplitPane>

supportedClass

public Class<JSplitPane> supportedClass()

Specified by:

supportedClass in interface PreferenceSaver.Saver<JSplitPane>