de.uka.ilkd.key.util

Class PreferenceSaver.TabbedPaneSaver

java.lang.Object

de.uka.ilkd.key.util.PreferenceSaver.TabbedPaneSaver

All Implemented Interfaces:

PreferenceSaver.Saver<javax.swing.JTabbedPane>

Enclosing class:

PreferenceSaver

private static class PreferenceSaver.TabbedPaneSaver
extends java.lang.Object
implements PreferenceSaver.Saver<javax.swing.JTabbedPane>

tabbed panes store the index of the selected pane.

Constructor Summary

Constructors

Modifier	Constructor and Description
private	TabbedPaneSaver()

Method Summary

Modifier and Type	Method and Description
void	load(javax.swing.JTabbedPane component, java.util.prefs.Preferences prefs)
void	save(javax.swing.JTabbedPane component, java.util.prefs.Preferences prefs)
java.lang.Class<javax.swing.JTabbedPane>	supportedClass()

Methods inherited from class java.lang.Object

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

Constructor Detail

TabbedPaneSaver

private TabbedPaneSaver()

Method Detail

load

public void load(javax.swing.JTabbedPane component,
                 java.util.prefs.Preferences prefs)

Specified by:

load in interface PreferenceSaver.Saver<javax.swing.JTabbedPane>

save

public void save(javax.swing.JTabbedPane component,
                 java.util.prefs.Preferences prefs)

Specified by:

save in interface PreferenceSaver.Saver<javax.swing.JTabbedPane>

supportedClass

public java.lang.Class<javax.swing.JTabbedPane> supportedClass()

Specified by:

supportedClass in interface PreferenceSaver.Saver<javax.swing.JTabbedPane>