if(!textArea.isEditable()) { view.getToolkit().beep(); return; }
        public void actionPerformed(ActionEvent evt)        {                View view = getView(evt);                Buffer buffer = view.getBuffer();                JEditTextArea textArea = view.getTextArea();		// expand current word		if(Abbrevs.getExpandOnInput())			Abbrevs.expandAbbrev(view,false);		textArea.setSelectedText("\n");		int selStart = textArea.getSelectionStart();		int selEnd = textArea.getSelectionEnd();                if(selStart == selEnd			&& buffer.getBooleanProperty("indentOnEnter"))		{			buffer.indentLine(view,textArea.getCaretLine(),false);                }        }