From 001f5a47861f04c985323677dfd17ef15b8c33a7 Mon Sep 17 00:00:00 2001 From: Enrico Forestieri Date: Wed, 12 Aug 2020 16:35:12 +0200 Subject: [PATCH] Fix bug #10263 --- src/insets/InsetFoot.h | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/insets/InsetFoot.h b/src/insets/InsetFoot.h index e938927385..bbc8a6934a 100644 --- a/src/insets/InsetFoot.h +++ b/src/insets/InsetFoot.h @@ -45,6 +45,10 @@ private: /// Inset * clone() const { return new InsetFoot(*this); } /// + bool inheritFont() const { return true; } + /// + bool allowMultiPar() const { return true; } + /// docstring custom_label_; /// bool intitle_;