====== AddExtensionFilter ====== Adds [[http://en.wikipedia.org/wiki/Filename_extension|extension]], files of which will be ignored while the documents loading. ===== Syntax ===== procedure AddExtensionFilter(aExtension: string); ==== Parameters ==== * **//aExtension//** * //type:// string * //functions:// filtered extension ===== Notes ===== * The following filters are used by default: -.gif -.jpeg -.jpg -.png -.tiff * Only downloaded from the primary domain files are filtered. ===== Examples ===== -//Forbid to download "jpeg" files AddExtensionFilter('.jpeg');