Code Editor : texdoctk.desktop