fix handling of options to be saved (#1247)

mintty · Dec 13, 2023 · f1f764a · f1f764a
1 parent a55d3e7
commit f1f764a
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 3 deletions.
diff --git a/src/config.c b/src/config.c
@@ -847,7 +847,7 @@ static struct {
   char * comment;
   ushort opti;
 } file_opts[lengthof(options) + MAX_COMMENTS];
-static uchar arg_opts[lengthof(options)];
+static ushort arg_opts[lengthof(options)];
 static uint file_opts_num = 0;
 static uint arg_opts_num;
 
@@ -874,7 +874,10 @@ seen_file_option(uint i)
 static bool
 seen_arg_option(uint i)
 {
-  return memchr(arg_opts, i, arg_opts_num);
+  for (uint k = 0; k < arg_opts_num; k++)
+    if (arg_opts[k] == i)
+      return true;
+  return false;
 }
 
 static void

diff --git a/wiki/Changelog.md b/wiki/Changelog.md
@@ -1,5 +1,5 @@
 Misc
-  * Fix handling of options to be saved (#1246).
+  * Fix handling of options to be saved (#1246, #1247).
   * Tune and fix click-opening URL (mintty/wsltty#346).
 
 Configuration