I have now installed the XVID codec on my computer. By the "AVI Properties dialog", do you mean the properties tab from the "Settings" window? If so, the XVID codec is not found on the drop-down menu of video compressors.
Is there something else I need to do before using this codec? Something I missed?