Faster polling for gamin
Faster polling for gamin
To prevent gamin from hogging CPU, the current "sane default" for polling is once every 15 seconds. IMO this is a bit slow; deleted files often remain in the file manager's view for a while this way. Maybe it would be better to change it to something like 5 seconds?