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();		Element lineElement = map.getElement(map.getElementIndex(			view.getTextArea().getCaretPosition()));		int start = lineElement.getStartOffset();		int end = lineElement.getEndOffset();		try		{			String str = buffer.getText(start,end - start);			int whitespace = start + jEdit.getLeadingWhiteSpace(str);			buffer.remove(whitespace,end - whitespace - 1);		}		catch(BadLocationException bl)		{		}	}