editor-para.js revision 5432371fbb6d790a76159481f0dd16e806812153