home *** CD-ROM | disk | FTP | other *** search
- package javax.swing.text;
-
- import java.util.EventObject;
- import javax.swing.event.ChangeEvent;
- import javax.swing.event.ChangeListener;
-
- class DefaultStyledDocument$StyleChangeHandler implements ChangeListener {
- // $FF: synthetic field
- private final DefaultStyledDocument this$0;
-
- DefaultStyledDocument$StyleChangeHandler(DefaultStyledDocument var1) {
- this.this$0 = var1;
- }
-
- public void stateChanged(ChangeEvent var1) {
- Object var2 = ((EventObject)var1).getSource();
- if (var2 != null && var2 instanceof Style) {
- this.this$0.styleChanged((Style)var2);
- } else {
- this.this$0.styleChanged((Style)null);
- }
-
- }
- }
-