public void pushDirname(File directory){
  if (!directory.isDirectory()) {
    throw new IllegalArgumentException("Only directories may be pushed!");
  }
  mDirectories.insert(directory.getName(),0);
  mCurrentDir=directory;
}

public void pushDirname ( File directory ) { if ( ! directory . isDirectory ( ) ) { throw new IllegalArgumentException ( "Only directories may be pushed!" ) ; } mDirectories . insert ( directory . getName ( ) , 0 ) ; mCurrentDir = directory ; }
pushes a directory to the drop down list
