[ToadLoadin]

Hi, I’m not a JavaScript geek, but I guess you could use code like:

charBefore = "[;

	charAfter = ]";

	strSelectedText = document.selection.Text;

	

	document.selection.Text = charBefore + strSelectedText + charAfter;