Copier, couper, coller

Vous pouvez sélectionner du texte ou des formules en maintenant le bouton gauche de la souris enfoncé, ou en double-cliquant dessus. Pour supprimer la région sélectionnée, utilisez Éditer→Couper. Pour la copier, cliquez d'abord sur Éditer→Copier. Ensuite, collez-la à l'endroit où pointe votre curseur avec Éditer→Coller autant de fois que vous le désirez. Vous pouvez aussi copier une région sélectionnée en utilisant le bouton du milieu de la souris.

Vous pouvez aussi changer les propriétés du texte sélectionné. Par exemple, pour changer en rouge la couleur du texte, sélectionnez-le en utilisant n gauche de la souris et cliquez sur Format→Couleur→Rouge. De même, si vous sélectionnez une formule et que vous cliquez sur Mathématiques→Fraction quand vous êtes en mode maths, la formule deviendra le numérateur de la fraction.

Si vous copiez et collez du texte en provenance ou vers d'autres applications selon les méthodes décrites ci-dessus, le texte sera copié et collé en utilisant le format de données de TeXmacs. Vous pouvez spécifier auparavant un autre format d'importation ou d'exportation avec Outils→Sélections→Importer resp. Outils→Sélections→Exporter, ce qui changera de façon permanente le format d'importation resp. d'exportation par défaut (c'est-à-dire jusqu'à ce que vous le changiez de nouveau), ou utilisez Éditer→Coller de→HTML resp. Éditer→Copier vers→HTML par exemple, ce qui changera provisoirement le format d'importation resp. d'exportation en format HTML (ce format ne sera appliqué qu'au collage ou à la copie en cours). Par défaut, la copie et le collage utilisent le premier tampon texte. Avec Éditer→Copier vers et Éditer→Coller de, vous pouvez spécifier autant de tampons texte que vous voulez.