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_;