return; }
	public static void paste(JEditTextArea textArea, char register)	{		if(!textArea.isEditable())			textArea.getToolkit().beep();		Register reg = getRegister(register);		if(reg == null)		{			textArea.getToolkit().beep();			return;		}		else		{			String selection = reg.toString();			if(selection == null)			{				textArea.getToolkit().beep();				return;			}			// preserve magic pos for easy insertion of the			// same string at the start of multiple lines			int magic = textArea.getMagicCaretPosition();			textArea.setSelectedText(selection);			if(textArea.getCaretPosition()				!= textArea.getLineEndOffset(textArea.getCaretLine()) - 1)			{				textArea.setMagicCaretPosition(magic);			}			else			{				// if user is pasting at end of line, chances are				// they want the caret to go the the end of the				// line again when they move it up or down			}			HistoryModel.getModel("clipboard").addItem(selection);		}	}