Parent Directory | Revision Log | Patch
revision 1.6 by mkoch, Wed Jan 26 23:32:51 2005 UTC | revision 1.7 by rabbit78, Tue Apr 12 19:48:44 2005 UTC | |
---|---|---|
# | Line 295 public class BasicMenuBarUI extends Menu | Line 295 public class BasicMenuBarUI extends Menu |
295 | public void propertyChange(PropertyChangeEvent e) | public void propertyChange(PropertyChangeEvent e) |
296 | { | { |
297 | if (e.getPropertyName().equals("borderPainted")) | if (e.getPropertyName().equals("borderPainted")) |
298 | menuBar.repaint(); | menuBar.repaint(); |
299 | if (e.getPropertyName().equals("margin")) | if (e.getPropertyName().equals("margin")) |
300 | menuBar.repaint(); | menuBar.repaint(); |
301 | } | } |
302 | } | } |
303 | } | } |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |