Unify naming of menu items

[features.git] / src / Font.h

diff --git a/src/Font.h b/src/Font.h
index 5d8998a83e28d88b8fa12b25611dacc788dd15f2..fdcdb7d3e3353fcb41953b476390bdd94b65637b 100644 (file)
--- a/src/Font.h
+++ b/src/Font.h
@@ -76,7 +76,8 @@ public:
                                   OutputParams const & runparams,
                                   Font const & base,
                                   Font const & prev,
-                                  bool const & non_inherit_inset = false) const;
+                                  bool non_inherit_inset = false,
+                                  bool needs_cprotection = false) const;
 
        /** Writes the tail of the LaTeX needed to change to this font.
            Returns number of chars written. Base is the font state we want
@@ -87,7 +88,7 @@ public:
                                 Font const & base,
                                 Font const & next,
                                 bool & needPar,
-                                bool const & closeLanguage = true) const;
+                                bool closeLanguage = true) const;
 
 
        /// Build GUI description of font state