constant.d.ts 902 B

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