Code Editor : tex-common.postrm