94         //and get rid of recursion
  95         resetTextMetrics();
  96 
  97         XMenuWindow menuWindow = getMenuWindow();
  98         if (menuWindow != null) {
  99             menuWindow.setItemsFont(font);
 100         }
 101 
 102         repaintIfShowing();
 103     }
 104 
 105     /*
 106      * From MenuPeer
 107      */
 108     /**
 109      * addSeparator routines are not used
 110      * in peers. Shared code invokes addItem("-")
 111      * for adding separators
 112      */
 113     public void addSeparator() {
 114         if (log.isLoggable(PlatformLogger.FINER)) log.finer("addSeparator is not implemented");


 115     }
 116 
 117     public void addItem(MenuItem item) {
 118         XMenuWindow menuWindow = getMenuWindow();
 119         if (menuWindow != null) {
 120             menuWindow.addItem(item);
 121         } else {
 122             if (log.isLoggable(PlatformLogger.FINE)) {
 123                 log.fine("Attempt to use XMenuWindowPeer without window");
 124             }
 125         }
 126     }
 127 
 128     public void delItem(int index) {
 129         XMenuWindow menuWindow = getMenuWindow();
 130         if (menuWindow != null) {
 131             menuWindow.delItem(index);
 132         } else {
 133             if (log.isLoggable(PlatformLogger.FINE)) {
 134                 log.fine("Attempt to use XMenuWindowPeer without window");

  94         //and get rid of recursion
  95         resetTextMetrics();
  96 
  97         XMenuWindow menuWindow = getMenuWindow();
  98         if (menuWindow != null) {
  99             menuWindow.setItemsFont(font);
 100         }
 101 
 102         repaintIfShowing();
 103     }
 104 
 105     /*
 106      * From MenuPeer
 107      */
 108     /**
 109      * addSeparator routines are not used
 110      * in peers. Shared code invokes addItem("-")
 111      * for adding separators
 112      */
 113     public void addSeparator() {
 114         if (log.isLoggable(PlatformLogger.FINER)) {
 115             log.finer("addSeparator is not implemented");
 116         }
 117     }
 118 
 119     public void addItem(MenuItem item) {
 120         XMenuWindow menuWindow = getMenuWindow();
 121         if (menuWindow != null) {
 122             menuWindow.addItem(item);
 123         } else {
 124             if (log.isLoggable(PlatformLogger.FINE)) {
 125                 log.fine("Attempt to use XMenuWindowPeer without window");
 126             }
 127         }
 128     }
 129 
 130     public void delItem(int index) {
 131         XMenuWindow menuWindow = getMenuWindow();
 132         if (menuWindow != null) {
 133             menuWindow.delItem(index);
 134         } else {
 135             if (log.isLoggable(PlatformLogger.FINE)) {
 136                 log.fine("Attempt to use XMenuWindowPeer without window");