Juan: Thanks for the patch, that does do what I was suggesting, although I note that even with the patch we still sometimes select a surprising terminal! I'll pull your patch into trunk :)
Juan: Thanks for the patch, that does do what I was suggesting, although I note that even with the patch we still sometimes select a surprising terminal! I'll pull your patch into trunk :)