/*
 * UndoCloseBuffer.bsh
 *
 * David Mlejnek, mailto:david.mlejnek@gmail.com
 *
 */

void undoCloseBuffer(View view) {
  
  List recentBuffers = BufferHistory.getHistory();
  
  Iterator iter = recentBuffers.iterator();
  while(iter.hasNext()) {
    BufferHistory$Entry e = (BufferHistory$Entry) iter.next();
    
    //skip open buffers
    if(isOpen(e.path)) {
      continue;
    }
    
    jEdit.openFile(view, e.path);
    return;
  }
  
  Macros.message(view, "All recently used buffers are open.");
}

boolean isOpen(String bufferPath) {
  
  Buffer[] openBuffers = jEdit.getBuffers();
  
  for(int i=0; i<openBuffers.length; i++) {
    if(openBuffers[i].getPath().equals(bufferPath)) {
      return true;
    }
  }
  
  return false;
}

undoCloseBuffer(view);