JavaScript source code editor on Chrome extension