Minor correction to my previous post

[hg9456]

Hello,
Where I write right mouse functionality, right mouse
button functionality is surely meant. Sorry about this.
It is getting late in Germany.