Parent Directory | Revision Log | Patch
revision 1.4.2.2 by gnu_andrew, Thu Jan 27 09:45:36 2005 UTC | revision 1.4.2.3 by gnu_andrew, Mon Apr 18 01:37:40 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 |