From 76458c269862f52ebff8c81e08fdda99f22c87d5 Mon Sep 17 00:00:00 2001
From: Marcel <34819524+MarcelCoding@users.noreply.github.com>
Date: Mon, 14 Oct 2024 14:59:14 +0200
Subject: [PATCH] options: filter _module.args (#15)

---
 ixx/src/action/index.rs | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/ixx/src/action/index.rs b/ixx/src/action/index.rs
index 30afa4a..d7d17c6 100644
--- a/ixx/src/action/index.rs
+++ b/ixx/src/action/index.rs
@@ -39,6 +39,11 @@ pub(crate) fn index(module: IndexModule) -> anyhow::Result<()> {
     let options: HashMap<String, option::Option> = serde_json::from_reader(file)?;
 
     for (name, option) in options {
+      // internal options which cannot be hidden when importing existing options.json
+      if name == "_module.args" {
+        continue;
+      }
+
       let name = match &scope.options_prefix {
         Some(prefix) => format!("{}.{}", prefix, name),
         None => name,