pacman.schema.json 486 B

123456789101112131415161718192021222324252627
  1. {
  2. "type":"object",
  3. "script" : "pacman.py",
  4. "title":"edt_eff_pacman_header",
  5. "required":true,
  6. "properties":{
  7. "rotationTime": {
  8. "type": "integer",
  9. "title":"edt_eff_rotationtime",
  10. "default": 5,
  11. "step" : 0.1,
  12. "minimum": 1,
  13. "append" : "edt_append_s",
  14. "propertyOrder" : 1
  15. },
  16. "margin-pos": {
  17. "type": "number",
  18. "title":"edt_eff_margin",
  19. "default": 1.0,
  20. "step" : 0.1,
  21. "minimum": 1.0,
  22. "propertyOrder" : 2
  23. }
  24. },
  25. "additionalProperties": false
  26. }