Why do we have this ? It seems a bit ad hoc. Is it just for 
the convenience of the doc writers or something ?

Can I at least remove the menu option ? Michael is right, "Menu Separator"
is non-obvious. I don't see why we have \lyxarrow as a special case ...

Can someone enlighten me ?

thanks
john

-- 
"If one tells the truth, one is sure, sooner or later, to be found out."
        - Oscar Wilde

Reply via email to