constant.js 878 B

12345678910111213141516171819202122232425262728293031323334353637383940414243444546
  1. export var StartEventConfig = {
  2. width: 40,
  3. height: 40,
  4. };
  5. export var EndEventConfig = {
  6. width: 40,
  7. height: 40,
  8. };
  9. export var ExclusiveGatewayConfig = {
  10. width: 40,
  11. height: 40,
  12. };
  13. export var ServiceTaskConfig = {
  14. width: 100,
  15. height: 80,
  16. };
  17. export var UserTaskConfig = {
  18. width: 100,
  19. height: 80,
  20. };
  21. export var theme = {
  22. rect: {
  23. radius: 5,
  24. stroke: 'rgb(24, 125, 255)',
  25. },
  26. circle: {
  27. r: 18,
  28. stroke: 'rgb(24, 125, 255)',
  29. },
  30. polygon: {
  31. stroke: 'rgb(24, 125, 255)',
  32. },
  33. polyline: {
  34. stroke: 'rgb(24, 125, 255)',
  35. hoverStroke: 'rgb(24, 125, 255)',
  36. selectedStroke: 'rgb(24, 125, 255)',
  37. },
  38. edgeText: {
  39. background: {
  40. fill: 'white',
  41. height: 14,
  42. stroke: 'transparent',
  43. radius: 3,
  44. },
  45. },
  46. };