[patch] Re: Enhancement? Documentation issue? Neither?

[Jürgen Spitzmüller]

Jürgen Spitzmüller wrote:
> IMO this is a bug proper

And here's the fix. A simple oversight.

Jürgen

Index: src/insets/InsetNote.h
===================================================================
--- src/insets/InsetNote.h	(Revision 23556)
+++ src/insets/InsetNote.h	(Arbeitskopie)
@@ -77,6 +77,8 @@
 	InsetNoteParams const & params() const { return params_; }
 	///
 	bool getStatus(Cursor &, FuncRequest const &, FuncStatus &) const;
+	///
+	bool noFontChange() const { return params_.type != InsetNoteParams::Note; }
 protected:
 	InsetNote(InsetNote const &);
 	///