Force the thumbnailer to stop when closing the window or
changing directory;  Kill the thumbnailer if it lasts more then
3 seconds;  Update the thumbnail icons every 250 msec instead of
every 20 thumbnails.