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)

Reply via email to