>>>>> "David" == David Halpern <[EMAIL PROTECTED]> writes:
David> Andre, Thanks, but I was hoping that lyx was an editor with David> this relatively simple capability. You are right, this would be helpful, and I guess not so difficult to implement. Feel free to create a bug about it on bugzilla. JMarc
