Jürgen Spitzmüller wrote:
> I see. Do we need to check for lyx_view_ != 0 at this place, as we do 
> otherwhere?

no, it has been checked before.
pavel

Reply via email to