Update txteditor.js