commit d044d6afa7192b2119784e1415e71dad644bc335
Author: Juergen Spitzmueller <[email protected]>
Date: Mon Mar 16 14:11:45 2015 +0100
Phantom is fragile (#9456)
diff --git a/src/insets/InsetPhantom.cpp b/src/insets/InsetPhantom.cpp
index 429fe33..f8d99d8 100644
--- a/src/insets/InsetPhantom.cpp
+++ b/src/insets/InsetPhantom.cpp
@@ -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)