1 |
/* JMenuBar.java -- |
/* JMenuBar.java -- |
2 |
Copyright (C) 2002, 2004 Free Software Foundation, Inc. |
Copyright (C) 2002, 2004 Free Software Foundation, Inc. |
3 |
|
|
4 |
This file is part of GNU Classpath. |
This file is part of GNU Classpath. |
83 |
|
|
84 |
/** Fired in a PropertyChangeEvent when the "model" changes. */ |
/** Fired in a PropertyChangeEvent when the "model" changes. */ |
85 |
public static final String MODEL_CHANGED_PROPERTY = "model"; |
public static final String MODEL_CHANGED_PROPERTY = "model"; |
86 |
|
|
87 |
/** Fired in a PropertyChangeEvent when the "margin" changes. */ |
/** Fired in a PropertyChangeEvent when the "margin" changes. */ |
88 |
public static final String MARGIN_CHANGED_PROPERTY = "margin"; |
public static final String MARGIN_CHANGED_PROPERTY = "margin"; |
89 |
private static final long serialVersionUID = -8191026883931977036L; |
private static final long serialVersionUID = -8191026883931977036L; |
311 |
* This method does nothing by default. This method is need for the |
* This method does nothing by default. This method is need for the |
312 |
* MenuElement interface to be implemented. |
* MenuElement interface to be implemented. |
313 |
* |
* |
314 |
* @param isIncluded true if menuBar is included in the selection |
* @param isIncluded true if menuBar is included in the selection |
315 |
* and false otherwise |
* and false otherwise |
316 |
*/ |
*/ |
317 |
public void menuSelectionChanged(boolean isIncluded) |
public void menuSelectionChanged(boolean isIncluded) |
320 |
} |
} |
321 |
|
|
322 |
/** |
/** |
323 |
* Paints border of the menu bar, if its borderPainted property is set to |
* Paints border of the menu bar, if its borderPainted property is set to |
324 |
* true. |
* true. |
325 |
* |
* |
326 |
* @param g The graphics context with which to paint the border |
* @param g The graphics context with which to paint the border |