exportatexto - Información Técnica -  
MicroMundos maneja formatos de texto TXT y RTF (Formatos de textos enriquecidos). El formato preestablecido es TXT; si se desea exportar texto en formato RTF se debe agregar la extensión. El texto guardado en el formato TXT guardará el texto en su forma simple (por ejemplo, no se guardarán ni las fuentes, ni el estilo, ni el color); mientras que el texto guardado en RTF mantendrá las fuentes, el estilo y el color utilizados.

Se debe tener en cuenta que exportatexto acepta cualquier extensión de archivo. Por ello, es posible escribir una hoja HTML en una caja de texto y guardar el texto como un archivo HTML, solamente escribiendo el nombre del archivo, seguido de una extensión HTML.