Hello !   Freaky David is here again !!  I was out for some days but all is fixed. I switched
on the machine and am up & running.

I have heard about Wcshell.   Does it solve the annoying problem of constantly swapping between Csound, text-editor, soundplayer ? because THAT's what I need.
 

Seeya,
David.