commit 3ceb5034905a4594fd100b8c29719699f3e87fb7
Author: Enrico Forestieri <[email protected]>
Date:   Wed May 24 00:24:54 2017 +0200

    Fix bug #10263
---
 src/insets/InsetFoot.h |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/src/insets/InsetFoot.h b/src/insets/InsetFoot.h
index 67110d2..67755d2 100644
--- a/src/insets/InsetFoot.h
+++ b/src/insets/InsetFoot.h
@@ -43,6 +43,8 @@ private:
        ///
        Inset * clone() const { return new InsetFoot(*this); }
        ///
+       bool inheritFont() const { return true; }
+       ///
        docstring custom_label_;
        ///
        bool intitle_;

Reply via email to