if(!view.getTextArea().isEditable()) { view.getToolkit().beep(); return; }
	public void actionPerformed(ActionEvent evt)	{		View view = getView(evt);		Buffer buffer = view.getBuffer();		Element map = buffer.getDefaultRootElement();		int lineNo = map.getElementIndex(view.getTextArea()			.getCaretPosition());		int start = map.getElement(buffer.locateParagraphStart(lineNo))			.getStartOffset();		int end = map.getElement(buffer.locateParagraphEnd(lineNo))			.getStartOffset();		try		{			buffer.remove(start,end - start);		}		catch(BadLocationException bl)		{		}	}