if(!buffer.save(view,null))
if(!buffer.save(view,null,true))
		public void actionPerformed(ActionEvent evt)		{			Object source = evt.getSource();			if(source == save)			{				Object[] paths = bufferList.getSelectedValues();				for(int i = 0; i < paths.length; i++)				{					String path = (String)paths[i];					Buffer buffer = jEdit.getBuffer(path);					if(!buffer.save(view,null))						return;					jEdit._closeBuffer(view,buffer);					bufferModel.removeElement(path);				}				updateButtons();				if(bufferModel.getSize() == 0)				{					ok = true;					dispose();				}			}			else if(source == discard)			{				Object[] paths = bufferList.getSelectedValues();				for(int i = 0; i < paths.length; i++)				{					String path = (String)paths[i];					Buffer buffer = jEdit.getBuffer(path);					jEdit._closeBuffer(view,buffer);					bufferModel.removeElement(path);				}				updateButtons();				if(bufferModel.getSize() == 0)				{					ok = true;					dispose();				}			}			else if(source == cancel)				cancel();		}