Eksporterer

Her er det: den definitive eksportfunktionalitet for KRec. De tilgængelige eksportformater varierer med bibliotekerne der findes på kompileringstidspunktet, alle de der for øjeblikket er tilgængelige beskrives i de følgende afsnit.

Valg af det ønskede eksport-plugin gøres med filnavnet: Du vælger Eksportér fil... fra Filer, vælger filnavnet på den eksporterede fil og dens endelse og så vil dit plugin blive bestemt ud fra din endelse. Listen af endelser i dialogen viser også hvilke eksport-plugin der er tilgængelige.

For at forstå den generelle brug af eksport: Teknisk virker eksport ligesom afspilning. Det betyder at du skal gå til positionen hvor du ønsker at starte på at eksportere før du gør det. Det betyder også at du kan se fremgængen af eksporten ud fra positionen af markeringen der bevæger sig fremad. Og det betyder at i fremtiden vil det være muligt at eksportere ethvert udvalg på samme måde som du kan afspille et udvalg.