From a2bd2e2dcca3bab3cdff4b6319fcf4b927d300b1 Mon Sep 17 00:00:00 2001 From: Richard Heck Date: Thu, 22 Feb 2018 00:46:31 -0500 Subject: [PATCH] Fix bug #10896. --- src/insets/InsetCommandParams.cpp | 4 ++-- src/insets/InsetCommandParams.h | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/insets/InsetCommandParams.cpp b/src/insets/InsetCommandParams.cpp index 39c7715dc5..3f3befe3b6 100644 --- a/src/insets/InsetCommandParams.cpp +++ b/src/insets/InsetCommandParams.cpp @@ -132,10 +132,10 @@ bool ParamInfo::hasParam(std::string const & name) const void ParamInfo::add(std::string const & name, ParamType type, - ParamHandling handling, bool ignore, + ParamHandling handling, bool ignoreval, docstring default_value) { - info_.push_back(ParamData(name, type, handling, ignore, default_value)); + info_.push_back(ParamData(name, type, handling, ignoreval, default_value)); } diff --git a/src/insets/InsetCommandParams.h b/src/insets/InsetCommandParams.h index eb976c28d7..874a9a53db 100644 --- a/src/insets/InsetCommandParams.h +++ b/src/insets/InsetCommandParams.h @@ -88,10 +88,10 @@ public: }; /// adds a new parameter - /// If ignore is true, then the parameter is never saved, and is always + /// If ignoreval is true, then the parameter is never saved, and is always /// given the default value. void add(std::string const & name, ParamType type, - ParamHandling = HANDLING_NONE, bool ignore = false, + ParamHandling = HANDLING_NONE, bool ignoreval = false, docstring default_value = docstring()); /// bool empty() const { return info_.empty(); } -- 2.39.2