home *** CD-ROM | disk | FTP | other *** search
- import com.sun.java.swing.JComponent;
- import com.sun.java.swing.SwingUtilities;
- import java.beans.PropertyChangeEvent;
- import java.beans.PropertyChangeListener;
-
- public class UISwitchListener implements PropertyChangeListener {
- JComponent componentToSwitch;
-
- public UISwitchListener(JComponent var1) {
- this.componentToSwitch = var1;
- }
-
- public void propertyChange(PropertyChangeEvent var1) {
- String var2 = var1.getPropertyName();
- if (var2.equals("lookAndFeel")) {
- SwingUtilities.updateComponentTreeUI(this.componentToSwitch);
- this.componentToSwitch.invalidate();
- this.componentToSwitch.validate();
- this.componentToSwitch.repaint();
- }
-
- }
- }
-