> I think this can be seen as a bug, but I have not filed it yet. I like it, it's more useful this way, I don't want to file a bug. Bye, bearophile