1 |
/* BasicMenuBarUI.java -- |
/* BasicMenuBarUI.java -- |
2 |
Copyright (C) 2002, 2004 Free Software Foundation, Inc. |
Copyright (C) 2002, 2004, 2005 Free Software Foundation, Inc. |
3 |
|
|
4 |
This file is part of GNU Classpath. |
This file is part of GNU Classpath. |
5 |
|
|
294 |
*/ |
*/ |
295 |
public void propertyChange(PropertyChangeEvent e) |
public void propertyChange(PropertyChangeEvent e) |
296 |
{ |
{ |
297 |
if (e.getPropertyName().equals(JMenuBar.BORDER_PAINTED_CHANGED_PROPERTY)) |
if (e.getPropertyName().equals("borderPainted")) |
298 |
menuBar.repaint(); |
menuBar.repaint(); |
299 |
if (e.getPropertyName().equals(JMenuBar.MARGIN_CHANGED_PROPERTY)) |
if (e.getPropertyName().equals("margin")) |
300 |
menuBar.repaint(); |
menuBar.repaint(); |
301 |
} |
} |
302 |
} |
} |