/**
  * Removes a listener to a list of those notified when someone double-clicks in the page.
  *
  * @param oldListener - the listener to remove
  */
 public void removeDoubleClickListener(IDoubleClickListener oldListener) {
   if (fDoubleClickProvider != null) {
     fDoubleClickProvider.removeDoubleClickListener(oldListener);
   }
 }
 /**
  * Adds a listener to a list of those notified when someone double-clicks in the page.
  *
  * @param newListener - the listener to add
  */
 public void addDoubleClickListener(IDoubleClickListener newListener) {
   if (fDoubleClickProvider == null) {
     fDoubleClickProvider = new DoubleClickProvider();
   }
   fDoubleClickProvider.addDoubleClickListener(newListener);
 }