pluma replaces mate-text-editor