Phantom is fragile (#9456)

This commit is contained in:
Juergen Spitzmueller 2015-03-16 14:11:45 +01:00
parent 3e148e0da6
commit d044d6afa7

View File

@ -311,6 +311,8 @@ docstring InsetPhantom::toolTip(BufferView const &, int, int) const
void InsetPhantom::latex(otexstream & os, OutputParams const & runparams) const
{
if (runparams.moving_arg)
os << "\\protect";
if (params_.type == InsetPhantomParams::Phantom)
os << "\\phantom{";
else if (params_.type == InsetPhantomParams::HPhantom)