示例#1
0
 public void widgetDisposed(DisposeEvent e) {
   users.remove(e.getSource());
   if (users.size() == 0) dispose();
 }