From c1cb3d5a1c5aa7fa030c61e63403d4c40254b2ca Mon Sep 17 00:00:00 2001 From: AlexandreRouma Date: Sat, 18 Dec 2021 21:48:03 +0100 Subject: [PATCH] bugfix --- core/src/utils/optionlist.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/core/src/utils/optionlist.h b/core/src/utils/optionlist.h index 18d47935..21982c76 100644 --- a/core/src/utils/optionlist.h +++ b/core/src/utils/optionlist.h @@ -21,9 +21,9 @@ public: } void undefined(int id) { - keys.erase(id); - names.erase(id); - values.erase(id); + keys.erase(keys.begin() + id); + names.erase(names.begin() + id); + values.erase(values.begin() + id); updateText(); }