I just noticed that Ctrl-Insert in Texel does not work in the trunk daily build. It was fixed by Helmut in his build. Peter