[OS X TeX] Trashing synctex.gz file

[Josep Maria Font]

Hi,

I want that when I choose menu item "Trash AUX files", or its keyboard  
shortcut cmd-ctrl-A, the synchronization file "jobname.synctex.gz" is  
also trashed along with .aux, etc. I tried to add the extension to the  
standard list by following TeXShop Help's advice, i.e., in the  
Terminal I wrote:

defaults write TeXShop OtherTrashExtensions -array-add "synctex.gz"

but this seems to have no effect. Any ideas ?


JMaF