private void copySelectedText() {
		Point selection = editor.getSelection();
		System.out.println("copy-" + (System.currentTimeMillis() - lastClipboardTime));
		if (selection.x < selection.y && System.currentTimeMillis() - lastClipboardTime > 400) {
	        lastClipboardText = (String)clipboard.getContents(TextTransfer.getInstance());
	        lastClipboardTime = System.currentTimeMillis();

	        //System.out.println("get clipboard before copy: '" + lastClipboardText + "'");
	        //System.out.println("save last clipboard time");
			
			editor.copy();
			
			currentClipboardText =  (String)clipboard.getContents(TextTransfer.getInstance());
			
			//System.out.println("get clipboard after copy: '" + currentClipboardText + "'");
		}
	}