Example #1
0
 // Update the number of peers and the peers window.
 void update(int peers) {
   if (window != null && this.peers != peers) {
     this.peers = peers;
     peersLabel.setText(String.valueOf(peers));
   }
   peersWindow.update();
 }
Example #2
0
 /** Handles buttons (Peers, Close). */
 public void buttonEvent(ButtonEvent event) {
   if (event.isOfType(ButtonEvent.Type.CLICK)) {
     Object source = event.getSource();
     if (source.equals(peersButton)) peersWindow.show();
     else if (source.equals(closeButton)) {
       window.destroy();
       window = null;
     } else System.err.println("Unknow event: " + event + " from source: " + source);
   }
 }