Tieni presente due cose:

1) Quando esporti un filmato in GIF animata, si esporterà solo quello che si vede sulla timeline principale. Se hai dei clip nidificati devi copiare tutto quello che c'è dentro sulla timeline principale.

2) Per esportare la GIF animata, devi selezionare: FILE -> IMPOSTAZIONI DI PUBBLICAZIONE e attivare la paletta della GIF; impostare lì tutte le opzioni e infine pubblicare. Altrimenti avrai sempre e solo un'immagine a 216 colori, che spesso ti dà risultati qualitativi insoddisfacenti.