void copy (TextPosition Start, TextPosition End)
	{
		if (Start == null || End == null) return;
		TextPosition P1, P2;
		if (Start.before(End))
		{
			P1 = Start;
			P2 = End;
		}
		else if (End.before(Start))
		{
			P1 = End;
			P2 = Start;
		}
		else return;
		String s = "";
		ListElement e = P1.L;
		while (e != null && e != P2.L)
		{
			s = s + ((Line)e.content()).getblock() + "\n";
			e = e.next();
		}
		if (e != null) s = s + ((Line)e.content()).getblock();
		new ClipboardCopy(this, this, s);
	}