if(!textArea.isEditable()) { view.getToolkit().beep(); return; }
	public void actionPerformed(ActionEvent evt)	{		View view = getView(evt);		Buffer buffer = view.getBuffer();		try		{			SyntaxTextArea textArea = view.getTextArea();			int start = textArea.getSelectionStart();			int end = textArea.getSelectionEnd();			Element map = buffer.getDefaultRootElement();			Element lineElement = map.getElement(				map.getElementIndex(textArea				.getCaretPosition()));			int lineStart = lineElement.getStartOffset();			int lineEnd = lineElement.getEndOffset() - 1;			if(start == end)			{				start = lineStart;				end = lineEnd;			}			end -= start;			int tabSize = buffer.getTabSize();			String text = doTab(buffer.getText(start,end),				tabSize);			buffer.remove(start,end);			buffer.insertString(start,text,null);		}		catch(BadLocationException bl)		{		}	}