Hi there > Sorry but we have chosen not to interfere with the standard Java/Swing > keyboard bindings
Usually I'd agree with that as principle, but in this case I can only regard the standard bindings as primitives without reference to particular usage. They're definitely broken as far as usage in a text editor is concerned. -- jean . .. .... //\\\oo///\\
