From 37849848cacd9debaefffba4cb271b437acd0f0e Mon Sep 17 00:00:00 2001
From: Marcel <me@m4rc3l.de>
Date: Mon, 14 Oct 2024 14:30:33 +0200
Subject: [PATCH] options: filter _module.args

---
 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,