- { "-random-rule", ".rule-random", XrmoptionNoArg, "True" },
- { "-rule", ".rule-requested", XrmoptionSepArg, 0 },
+
+ { "-rule", ".rule", XrmoptionSepArg, 0 },
+ { "-random-rule", ".random-rule", XrmoptionNoArg, "True" },
+
+ { "-seed-density", ".seed-density", XrmoptionSepArg, 0 },
+ { "-seed-left", ".seed-left", XrmoptionNoArg, "True" },
+ { "-seed-center", ".seed-center", XrmoptionNoArg, "True" },
+ { "-seed-right", ".seed-right", XrmoptionNoArg, "True" },
+