Ulteriori Impostazioni per ricerca Globale

2019-12-21 15:42:38 +01:00
parent d777071851
commit 823a9f4f18
3 changed files with 37 additions and 19 deletions
@@ -29,6 +29,15 @@
        "40"
      ]
    },
+    {
+      "id": "result_mode",
+      "type": "list",
+      "label": "@60657",
+      "default": 0,
+      "enabled": true,
+      "visible": true,
+      "lvalues": ["@60675","@60676"]
+    },
    {
      "id": "thread_number",
      "type": "list",