Improve PreTeX Editor Module plugin