write a DOM way of add option in scriptingTextboxes.js