I agree that a wmv exporter would be a useful thing. Though I do not have any experience with video codecs. It would be great if someone with some experience would write a plug-in. I would of course help with the RW-specific part.
Painting animations
Export to video?
I really like the animation part of Paint. But do you know what would make it better? Making it possible to plug animations from Paint into video editors and stuff. Hey, Vlasta, if you read this, do you think you could work on a WMV exporter?