de.uka.ilkd.key.util

Class PreferenceSaver.WindowSaver

java.lang.Object

de.uka.ilkd.key.util.PreferenceSaver.WindowSaver

All Implemented Interfaces:

PreferenceSaver.Saver<Window>

Enclosing class:

PreferenceSaver

private static class PreferenceSaver.WindowSaver
extends Object
implements PreferenceSaver.Saver<Window>

Windows get their bounding box stored.

Constructor Summary

Constructors

Modifier	Constructor and Description
private	WindowSaver()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

WindowSaver

private WindowSaver()

Method Detail

load

public void load(Window component,
                 Preferences prefs)

Specified by:

load in interface PreferenceSaver.Saver<Window>

save

public void save(Window component,
                 Preferences prefs)

Specified by:

save in interface PreferenceSaver.Saver<Window>

supportedClass

public Class<Window> supportedClass()

Specified by:

supportedClass in interface PreferenceSaver.Saver<Window>