public void clear(){
  mSelectedWidgets.clear();
  mModifiedWidgets.clear();
  selectionHasChanged();
}

public void clear ( ) { mSelectedWidgets . clear ( ) ; mModifiedWidgets . clear ( ) ; selectionHasChanged ( ) ; }
clear the current selection
