@peter.prib/renderengine 0.0.0-stage → 0.2.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (451) hide show
  1. package/LICENSE +21 -0
  2. package/README.md +203 -2
  3. package/REFERENCE.md +2198 -0
  4. package/dist/renderengine-workspace.umd.js +46905 -0
  5. package/dist/renderengine.umd.js +42223 -0
  6. package/examples/archimate.html +66 -0
  7. package/examples/diagram-editor.html +51 -0
  8. package/package.json +65 -4
  9. package/src/BaseRenderer.js +57 -0
  10. package/src/CanvasRenderer.js +194 -0
  11. package/src/Mat4.js +111 -0
  12. package/src/OrbitCamera.js +57 -0
  13. package/src/RendererFactory.js +50 -0
  14. package/src/SVGRenderer.js +439 -0
  15. package/src/archimate.js +723 -0
  16. package/src/archimateArchiFormat.js +1693 -0
  17. package/src/archimateArchiTypes.js +72 -0
  18. package/src/archimateArchive.js +140 -0
  19. package/src/archimateCSV.js +127 -0
  20. package/src/archimateDrawio.js +182 -0
  21. package/src/archimateExchangeFormat.js +546 -0
  22. package/src/archimateRelationshipTable.js +93 -0
  23. package/src/archimateSpecializations.js +161 -0
  24. package/src/chartCatalog.js +589 -0
  25. package/src/charting/ArchimateDiagramEditor.js +1624 -0
  26. package/src/charting/ArchimateSpecializationSelector.js +134 -0
  27. package/src/charting/Axis.js +68 -0
  28. package/src/charting/CameraSeeder.js +30 -0
  29. package/src/charting/CatalogDialog.js +92 -0
  30. package/src/charting/Chart.js +37 -0
  31. package/src/charting/Chart3D.js +99 -0
  32. package/src/charting/ChartBox.js +80 -0
  33. package/src/charting/ChartData.js +27 -0
  34. package/src/charting/ChartRegistry.js +76 -0
  35. package/src/charting/CheckboxTreeSelector.js +304 -0
  36. package/src/charting/ColorField.js +107 -0
  37. package/src/charting/ColorPalette.js +88 -0
  38. package/src/charting/CommandHistory.js +176 -0
  39. package/src/charting/DataFilter.js +52 -0
  40. package/src/charting/Diagram.js +36 -0
  41. package/src/charting/Diagram3D.js +29 -0
  42. package/src/charting/DiagramClipboard.js +31 -0
  43. package/src/charting/DiagramEditor.js +3330 -0
  44. package/src/charting/DiagramEditorCommand.js +110 -0
  45. package/src/charting/DiagramEditorCommands.js +237 -0
  46. package/src/charting/DiagramEditorEdgeCommands.js +142 -0
  47. package/src/charting/DiagramEditorState.js +98 -0
  48. package/src/charting/DiagramRegistry.js +86 -0
  49. package/src/charting/DiagramTypeRegistry.js +326 -0
  50. package/src/charting/DiagramViewPropertiesDialog.js +46 -0
  51. package/src/charting/Edge.js +113 -0
  52. package/src/charting/ErrorBars.js +37 -0
  53. package/src/charting/FilterSystem.js +285 -0
  54. package/src/charting/FindReplaceDialog.js +139 -0
  55. package/src/charting/FormDialog.js +385 -0
  56. package/src/charting/Gauge.js +58 -0
  57. package/src/charting/Hierarchy.js +175 -0
  58. package/src/charting/HintPanel.js +86 -0
  59. package/src/charting/ImageSelector.js +148 -0
  60. package/src/charting/InteractionManager.js +725 -0
  61. package/src/charting/Legend.js +58 -0
  62. package/src/charting/MenuBar.js +62 -0
  63. package/src/charting/ModelFileFormat.js +115 -0
  64. package/src/charting/OrbitControls.js +77 -0
  65. package/src/charting/Palette.js +119 -0
  66. package/src/charting/PopupMenu.js +117 -0
  67. package/src/charting/PropertiesPanel.js +155 -0
  68. package/src/charting/PropertyListEditor.js +96 -0
  69. package/src/charting/PropertyLog.js +92 -0
  70. package/src/charting/SettingsCascade.js +93 -0
  71. package/src/charting/SettingsDialog.js +53 -0
  72. package/src/charting/SettingsManager.js +179 -0
  73. package/src/charting/SettingsViewPropertiesDialog.js +58 -0
  74. package/src/charting/ShapePaths.js +27 -0
  75. package/src/charting/Statistics.js +134 -0
  76. package/src/charting/TemplateCatalog.js +59 -0
  77. package/src/charting/TemplateLibrary.js +103 -0
  78. package/src/charting/TextStyle.js +168 -0
  79. package/src/charting/ViewFit.js +55 -0
  80. package/src/charting/ViewMenu.js +70 -0
  81. package/src/charting/ViewPropertiesDialog.js +77 -0
  82. package/src/charting/ViewTabStrip.js +81 -0
  83. package/src/charting/archimate/ArchiFileFormat.js +32 -0
  84. package/src/charting/archimate/ArchimateCanvasEditor.js +815 -0
  85. package/src/charting/archimate/ArchimateCsvFileFormat.js +35 -0
  86. package/src/charting/archimate/ArchimateEdge.js +137 -0
  87. package/src/charting/archimate/ArchimateElementTemplate.js +195 -0
  88. package/src/charting/archimate/ArchimatePalette.js +102 -0
  89. package/src/charting/archimate/CsvImportDialog.js +105 -0
  90. package/src/charting/archimate/CustomViewpoints.js +74 -0
  91. package/src/charting/archimate/DerivedEdge.js +29 -0
  92. package/src/charting/archimate/DrawioFileFormat.js +24 -0
  93. package/src/charting/archimate/ElementFilterRule.js +21 -0
  94. package/src/charting/archimate/ExchangeFileFormat.js +28 -0
  95. package/src/charting/archimate/ViewGroupTemplate.js +137 -0
  96. package/src/charting/archimate/ViewLineEdge.js +84 -0
  97. package/src/charting/archimate/ViewpointRule.js +45 -0
  98. package/src/charting/archimate/archimateFileFormats.js +12 -0
  99. package/src/charting/archimate/archimateNames.js +5 -0
  100. package/src/charting/archimate/csvMapping.js +122 -0
  101. package/src/charting/archimate/elementMenuItems.js +32 -0
  102. package/src/charting/archimate/elementProperties.js +146 -0
  103. package/src/charting/archimate/elementTypeChoices.js +7 -0
  104. package/src/charting/archimate/elementTypeGroups.js +19 -0
  105. package/src/charting/archimate/index.js +17 -0
  106. package/src/charting/archimate/specializationCatalogDialog.js +64 -0
  107. package/src/charting/archimate/typeGlyph.js +29 -0
  108. package/src/charting/arrangement/Arrangement.js +112 -0
  109. package/src/charting/arrangement/ArrangementCommand.js +29 -0
  110. package/src/charting/arrangement/BackgroundCommand.js +41 -0
  111. package/src/charting/arrangement/BackgroundGroup.js +18 -0
  112. package/src/charting/arrangement/GroupCommand.js +46 -0
  113. package/src/charting/arrangement/ItemGroup.js +62 -0
  114. package/src/charting/arrangement/LockCommand.js +32 -0
  115. package/src/charting/arrangement/UngroupCommand.js +27 -0
  116. package/src/charting/arrangement/alignment.js +88 -0
  117. package/src/charting/arrangement/arrangeMenuItems.js +25 -0
  118. package/src/charting/arrangement/index.js +11 -0
  119. package/src/charting/arrangement/layouts.js +233 -0
  120. package/src/charting/canvas/ArchiHint.js +78 -0
  121. package/src/charting/canvas/CanvasBoxKind.js +39 -0
  122. package/src/charting/canvas/CanvasPalette.js +49 -0
  123. package/src/charting/canvas/CanvasTemplateLibrary.js +61 -0
  124. package/src/charting/canvas/CanvasTemplateMenu.js +151 -0
  125. package/src/charting/canvas/EditHintCommand.js +28 -0
  126. package/src/charting/canvas/canvasBoxKinds.js +27 -0
  127. package/src/charting/canvas/canvasBoxMenuItems.js +40 -0
  128. package/src/charting/canvas/defaultCanvasTemplates.js +186 -0
  129. package/src/charting/canvas/diagramBoxKinds.js +12 -0
  130. package/src/charting/canvas/hintMenuItems.js +49 -0
  131. package/src/charting/charts/ArcGauge.js +55 -0
  132. package/src/charting/charts/AreaChart.js +71 -0
  133. package/src/charting/charts/BarChart.js +80 -0
  134. package/src/charting/charts/BarChart3D.js +56 -0
  135. package/src/charting/charts/BarChart3DOrbit.js +53 -0
  136. package/src/charting/charts/BarChartBase.js +70 -0
  137. package/src/charting/charts/BarGauge.js +42 -0
  138. package/src/charting/charts/BoxPlotChart.js +41 -0
  139. package/src/charting/charts/BubbleChart.js +99 -0
  140. package/src/charting/charts/BubbleChart3D.js +78 -0
  141. package/src/charting/charts/BulletGauge.js +87 -0
  142. package/src/charting/charts/CalendarHeatmapChart.js +204 -0
  143. package/src/charting/charts/CandlestickChart.js +54 -0
  144. package/src/charting/charts/ChordDiagram.js +130 -0
  145. package/src/charting/charts/DensityChart.js +73 -0
  146. package/src/charting/charts/DialGauge.js +65 -0
  147. package/src/charting/charts/DonutChart.js +15 -0
  148. package/src/charting/charts/FunnelChart.js +47 -0
  149. package/src/charting/charts/GanttChart.js +201 -0
  150. package/src/charting/charts/GaugeChart.js +175 -0
  151. package/src/charting/charts/GeoMapChart.js +146 -0
  152. package/src/charting/charts/GroupedBarChart.js +88 -0
  153. package/src/charting/charts/GroupedDistributionChart.js +70 -0
  154. package/src/charting/charts/HeatmapChart.js +80 -0
  155. package/src/charting/charts/HierarchyChart.js +39 -0
  156. package/src/charting/charts/HistogramChart.js +45 -0
  157. package/src/charting/charts/KpiTile.js +72 -0
  158. package/src/charting/charts/LagPlotChart.js +41 -0
  159. package/src/charting/charts/LineChart.js +124 -0
  160. package/src/charting/charts/MultiRingGauge.js +54 -0
  161. package/src/charting/charts/OutlineChart.js +95 -0
  162. package/src/charting/charts/ParallelCoordinatesChart.js +130 -0
  163. package/src/charting/charts/PieChart.js +56 -0
  164. package/src/charting/charts/PipeChart.js +88 -0
  165. package/src/charting/charts/PopulationPyramidChart.js +106 -0
  166. package/src/charting/charts/QQPlotChart.js +64 -0
  167. package/src/charting/charts/RadarChart.js +76 -0
  168. package/src/charting/charts/RadialBarChart.js +96 -0
  169. package/src/charting/charts/RingGauge.js +23 -0
  170. package/src/charting/charts/SankeyDiagram.js +174 -0
  171. package/src/charting/charts/ScatterChart.js +104 -0
  172. package/src/charting/charts/StackedAreaChart.js +15 -0
  173. package/src/charting/charts/StackedBarChart.js +33 -0
  174. package/src/charting/charts/StackedBarChart3DOrbit.js +58 -0
  175. package/src/charting/charts/StreamGraphChart.js +131 -0
  176. package/src/charting/charts/SunburstChart.js +57 -0
  177. package/src/charting/charts/ThermometerGauge.js +43 -0
  178. package/src/charting/charts/TreemapChart.js +54 -0
  179. package/src/charting/charts/ViolinChart.js +37 -0
  180. package/src/charting/charts/WaterfallChart.js +66 -0
  181. package/src/charting/charts/WordCloudChart.js +104 -0
  182. package/src/charting/diagramModel/AddViewCommand.js +33 -0
  183. package/src/charting/diagramModel/DiagramModel.js +39 -0
  184. package/src/charting/diagramModel/DiagramModelSearch.js +22 -0
  185. package/src/charting/diagramModel/DiagramView.js +50 -0
  186. package/src/charting/diagramModel/ModelHistory.js +43 -0
  187. package/src/charting/diagramModel/ModelReport.js +153 -0
  188. package/src/charting/diagramModel/ModelSearch.js +223 -0
  189. package/src/charting/diagramModel/RemoveViewCommand.js +25 -0
  190. package/src/charting/diagramModel/RenameViewCommand.js +21 -0
  191. package/src/charting/diagramModel/ReplaceTextCommand.js +25 -0
  192. package/src/charting/diagramModel/ViewSetChecker.js +34 -0
  193. package/src/charting/diagramModel/ViewSetModel.js +243 -0
  194. package/src/charting/diagramModel/index.js +6 -0
  195. package/src/charting/diagramModel/nameTransforms.js +29 -0
  196. package/src/charting/diagrams/ArchimateCommands.js +141 -0
  197. package/src/charting/diagrams/ArchimateDiagram.js +263 -0
  198. package/src/charting/diagrams/ArchimateModel.js +1155 -0
  199. package/src/charting/diagrams/ArchimateModelChecker.js +125 -0
  200. package/src/charting/diagrams/ArchimateModelReport.js +128 -0
  201. package/src/charting/diagrams/ArchimateModelSearch.js +41 -0
  202. package/src/charting/diagrams/ArchimateValidator.js +357 -0
  203. package/src/charting/diagrams/CanvasView.js +112 -0
  204. package/src/charting/diagrams/ContextMenu.js +37 -0
  205. package/src/charting/diagrams/DataModelDiagram.js +86 -0
  206. package/src/charting/diagrams/DataModelRelationshipStrategy.js +38 -0
  207. package/src/charting/diagrams/DerivedRelationships.js +102 -0
  208. package/src/charting/diagrams/EbnfDiagram.js +39 -0
  209. package/src/charting/diagrams/EdgeGeometry.js +553 -0
  210. package/src/charting/diagrams/EditViewItemCommand.js +128 -0
  211. package/src/charting/diagrams/ElementInstance.js +157 -0
  212. package/src/charting/diagrams/GraphDiagram.js +1340 -0
  213. package/src/charting/diagrams/GraphDiagram3D.js +152 -0
  214. package/src/charting/diagrams/GraphMetrics.js +81 -0
  215. package/src/charting/diagrams/GridOverlay.js +137 -0
  216. package/src/charting/diagrams/ImportRowsCommand.js +62 -0
  217. package/src/charting/diagrams/LabelHelper.js +108 -0
  218. package/src/charting/diagrams/MergeElementsCommand.js +101 -0
  219. package/src/charting/diagrams/NestInstanceCommand.js +34 -0
  220. package/src/charting/diagrams/NodeGeometry.js +158 -0
  221. package/src/charting/diagrams/PlaceItemsCommand.js +77 -0
  222. package/src/charting/diagrams/RadialLayout.js +101 -0
  223. package/src/charting/diagrams/RelationshipInstance.js +93 -0
  224. package/src/charting/diagrams/RemoveGroupFromViewCommand.js +28 -0
  225. package/src/charting/diagrams/RemoveLineCommand.js +27 -0
  226. package/src/charting/diagrams/ShowElementCommand.js +43 -0
  227. package/src/charting/diagrams/SvgCoordinate.js +17 -0
  228. package/src/charting/diagrams/SvgZoom.js +127 -0
  229. package/src/charting/diagrams/Tooltip.js +62 -0
  230. package/src/charting/diagrams/ViewConnectionInstance.js +102 -0
  231. package/src/charting/diagrams/ViewObjectInstance.js +56 -0
  232. package/src/charting/diagrams/commands/AddEdgeCommand.js +34 -0
  233. package/src/charting/diagrams/commands/AddNodeCommand.js +28 -0
  234. package/src/charting/diagrams/commands/AddWaypointCommand.js +27 -0
  235. package/src/charting/diagrams/commands/CreateFolderCommand.js +27 -0
  236. package/src/charting/diagrams/commands/DeleteEdgeCommand.js +30 -0
  237. package/src/charting/diagrams/commands/DeleteFolderCommand.js +47 -0
  238. package/src/charting/diagrams/commands/DeleteNodeCommand.js +35 -0
  239. package/src/charting/diagrams/commands/DeleteWaypointCommand.js +24 -0
  240. package/src/charting/diagrams/commands/GraphCommand.js +65 -0
  241. package/src/charting/diagrams/commands/InvertEdgeCommand.js +24 -0
  242. package/src/charting/diagrams/commands/MoveNodeCommand.js +44 -0
  243. package/src/charting/diagrams/commands/MoveWaypointCommand.js +27 -0
  244. package/src/charting/diagrams/commands/RenameEdgeCommand.js +23 -0
  245. package/src/charting/diagrams/commands/RenameFolderCommand.js +31 -0
  246. package/src/charting/diagrams/commands/RenameNodeCommand.js +27 -0
  247. package/src/charting/diagrams/commands/ResizeNodeCommand.js +46 -0
  248. package/src/charting/diagrams/commands/UpdateEdgeSideCommand.js +40 -0
  249. package/src/charting/diagrams/commands/index.js +17 -0
  250. package/src/charting/diagrams/duplicates.js +49 -0
  251. package/src/charting/diagrams/nesting.js +30 -0
  252. package/src/charting/diagrams/roadmap.js +77 -0
  253. package/src/charting/edgeMarkers/ArrowMarker.js +15 -0
  254. package/src/charting/edgeMarkers/CircleMarker.js +13 -0
  255. package/src/charting/edgeMarkers/CrowsFootMarker.js +16 -0
  256. package/src/charting/edgeMarkers/DiamondMarker.js +15 -0
  257. package/src/charting/edgeMarkers/EdgeMarker.js +34 -0
  258. package/src/charting/edgeMarkers/HalfArrowMarker.js +8 -0
  259. package/src/charting/edgeMarkers/HollowDiamondMarker.js +18 -0
  260. package/src/charting/edgeMarkers/HollowTriangleMarker.js +18 -0
  261. package/src/charting/edgeMarkers/OpenArrowMarker.js +17 -0
  262. package/src/charting/edgeMarkers/index.js +27 -0
  263. package/src/charting/edgeStyle/EdgeStyleCascade.js +22 -0
  264. package/src/charting/edgeStyle/EdgeStyleDialog.js +51 -0
  265. package/src/charting/edgeStyle/EdgeStyleSchema.js +43 -0
  266. package/src/charting/edgeStyle/SetStyleCommand.js +12 -0
  267. package/src/charting/edgeStyle/index.js +4 -0
  268. package/src/charting/emphasis/EmphasisRule.js +42 -0
  269. package/src/charting/emphasis/HighlightRule.js +24 -0
  270. package/src/charting/gauges/ArcTrack.js +51 -0
  271. package/src/charting/gauges/GaugeAnimation.js +51 -0
  272. package/src/charting/gauges/GaugeBands.js +48 -0
  273. package/src/charting/gauges/GaugeScale.js +87 -0
  274. package/src/charting/gauges/GaugeTrack.js +44 -0
  275. package/src/charting/gauges/GaugeValue.js +61 -0
  276. package/src/charting/gauges/HorizontalTrack.js +14 -0
  277. package/src/charting/gauges/LinearTrack.js +29 -0
  278. package/src/charting/gauges/Sparkline.js +42 -0
  279. package/src/charting/gauges/VerticalTrack.js +17 -0
  280. package/src/charting/glyphs/ArrowGlyph.js +21 -0
  281. package/src/charting/glyphs/BatteryGlyph.js +18 -0
  282. package/src/charting/glyphs/ChevronGlyph.js +18 -0
  283. package/src/charting/glyphs/CircleGlyph.js +15 -0
  284. package/src/charting/glyphs/CloudGlyph.js +19 -0
  285. package/src/charting/glyphs/ComponentGlyph.js +18 -0
  286. package/src/charting/glyphs/ConstraintGlyph.js +24 -0
  287. package/src/charting/glyphs/ContractBoxGlyph.js +10 -0
  288. package/src/charting/glyphs/CubeGlyph.js +19 -0
  289. package/src/charting/glyphs/CylinderGlyph.js +19 -0
  290. package/src/charting/glyphs/DashedDoubleArrowGlyph.js +11 -0
  291. package/src/charting/glyphs/DeviceGlyph.js +17 -0
  292. package/src/charting/glyphs/DiamondGlyph.js +17 -0
  293. package/src/charting/glyphs/DocumentGlyph.js +17 -0
  294. package/src/charting/glyphs/DoubleArrowGlyph.js +23 -0
  295. package/src/charting/glyphs/DoubleCircleGlyph.js +24 -0
  296. package/src/charting/glyphs/EllipseGlyph.js +18 -0
  297. package/src/charting/glyphs/FactoryGlyph.js +20 -0
  298. package/src/charting/glyphs/FlagGlyph.js +16 -0
  299. package/src/charting/glyphs/GapCircleGlyph.js +17 -0
  300. package/src/charting/glyphs/GearGlyph.js +37 -0
  301. package/src/charting/glyphs/Glyph.js +98 -0
  302. package/src/charting/glyphs/GroupingBoxGlyph.js +13 -0
  303. package/src/charting/glyphs/HalfCircleGlyph.js +22 -0
  304. package/src/charting/glyphs/HexagonGlyph.js +28 -0
  305. package/src/charting/glyphs/IconGlyph.js +22 -0
  306. package/src/charting/glyphs/ImageGlyph.js +16 -0
  307. package/src/charting/glyphs/JunctionGlyph.js +17 -0
  308. package/src/charting/glyphs/LollipopGlyph.js +22 -0
  309. package/src/charting/glyphs/MagnifierGlyph.js +17 -0
  310. package/src/charting/glyphs/NoteGlyph.js +33 -0
  311. package/src/charting/glyphs/ObjectBoxGlyph.js +21 -0
  312. package/src/charting/glyphs/OrJunctionGlyph.js +17 -0
  313. package/src/charting/glyphs/ParallelogramGlyph.js +20 -0
  314. package/src/charting/glyphs/PersonGlyph.js +23 -0
  315. package/src/charting/glyphs/PillGlyph.js +23 -0
  316. package/src/charting/glyphs/PinGlyph.js +18 -0
  317. package/src/charting/glyphs/PrincipleGlyph.js +23 -0
  318. package/src/charting/glyphs/ProductBoxGlyph.js +16 -0
  319. package/src/charting/glyphs/RectGlyph.js +15 -0
  320. package/src/charting/glyphs/RoundedBoxGlyph.js +13 -0
  321. package/src/charting/glyphs/StackGlyph.js +14 -0
  322. package/src/charting/glyphs/StepsGlyph.js +20 -0
  323. package/src/charting/glyphs/StickFigureGlyph.js +32 -0
  324. package/src/charting/glyphs/SystemSoftwareBoxGlyph.js +16 -0
  325. package/src/charting/glyphs/TabbedBoxGlyph.js +37 -0
  326. package/src/charting/glyphs/TargetGlyph.js +23 -0
  327. package/src/charting/glyphs/WavyBoxGlyph.js +17 -0
  328. package/src/charting/glyphs/WheelGlyph.js +28 -0
  329. package/src/charting/glyphs/drawGlyph.js +28 -0
  330. package/src/charting/glyphs/glyphSvg.js +55 -0
  331. package/src/charting/glyphs/index.js +109 -0
  332. package/src/charting/modelTree/AnalysisPanel.js +159 -0
  333. package/src/charting/modelTree/DiagramTabs.js +217 -0
  334. package/src/charting/modelTree/ModelTree.js +164 -0
  335. package/src/charting/modelTree/ModelTreePanel.js +914 -0
  336. package/src/charting/modelTree/TreeBuilder.js +238 -0
  337. package/src/charting/modelTree/TreeModeRegistry.js +51 -0
  338. package/src/charting/modelTree/TreeViewMode.js +110 -0
  339. package/src/charting/modelTree/buildFilterTrees.js +138 -0
  340. package/src/charting/modelTree/modes/FlatTreeMode.js +46 -0
  341. package/src/charting/modelTree/modes/LayerGroupedTreeMode.js +62 -0
  342. package/src/charting/modelTree/modes/TypeGroupedTreeMode.js +60 -0
  343. package/src/charting/modelTree/treeLayers.js +11 -0
  344. package/src/charting/report/reportHtml.js +82 -0
  345. package/src/charting/report/reportViewer.js +118 -0
  346. package/src/charting/shapes/CircleShape.js +19 -0
  347. package/src/charting/shapes/PathShape.js +17 -0
  348. package/src/charting/shapes/RectShape.js +20 -0
  349. package/src/charting/shapes/Shape.js +20 -0
  350. package/src/charting/shapes/ShapeFactory.js +23 -0
  351. package/src/charting/storage/LocalJsonStore.js +43 -0
  352. package/src/charting/templates/ActorTemplate.js +36 -0
  353. package/src/charting/templates/BoxTemplate.js +27 -0
  354. package/src/charting/templates/CircleTemplate.js +18 -0
  355. package/src/charting/templates/ClassTemplate.js +20 -0
  356. package/src/charting/templates/CloudTemplate.js +43 -0
  357. package/src/charting/templates/ComponentTemplate.js +19 -0
  358. package/src/charting/templates/CylinderTemplate.js +30 -0
  359. package/src/charting/templates/DataStoreTemplate.js +16 -0
  360. package/src/charting/templates/DiamondTemplate.js +10 -0
  361. package/src/charting/templates/DocumentTemplate.js +32 -0
  362. package/src/charting/templates/EllipseTemplate.js +15 -0
  363. package/src/charting/templates/FinalStateTemplate.js +12 -0
  364. package/src/charting/templates/GlyphTemplate.js +47 -0
  365. package/src/charting/templates/HexagonTemplate.js +17 -0
  366. package/src/charting/templates/LifelineTemplate.js +20 -0
  367. package/src/charting/templates/ManualInputTemplate.js +12 -0
  368. package/src/charting/templates/NoteTemplate.js +23 -0
  369. package/src/charting/templates/OctagonTemplate.js +7 -0
  370. package/src/charting/templates/PackageTemplate.js +25 -0
  371. package/src/charting/templates/ParallelogramTemplate.js +11 -0
  372. package/src/charting/templates/PentagonTemplate.js +5 -0
  373. package/src/charting/templates/PolygonTemplate.js +18 -0
  374. package/src/charting/templates/PredefinedProcessTemplate.js +13 -0
  375. package/src/charting/templates/RectangleTemplate.js +28 -0
  376. package/src/charting/templates/RegularPolygonTemplate.js +21 -0
  377. package/src/charting/templates/RoundedRectangleTemplate.js +5 -0
  378. package/src/charting/templates/StadiumTemplate.js +8 -0
  379. package/src/charting/templates/StarTemplate.js +17 -0
  380. package/src/charting/templates/SwimlaneTemplate.js +18 -0
  381. package/src/charting/templates/Template.js +208 -0
  382. package/src/charting/templates/TrapezoidTemplate.js +11 -0
  383. package/src/charting/templates/TriangleTemplate.js +12 -0
  384. package/src/charting/templates/index.js +31 -0
  385. package/src/charting/templates/outline.js +59 -0
  386. package/src/charting/templates/svg.js +19 -0
  387. package/src/charting/textToShapes.js +61 -0
  388. package/src/charting/toolbar/ToolbarButton.js +38 -0
  389. package/src/charting/toolbar/ToolbarCheckbox.js +31 -0
  390. package/src/charting/toolbar/ToolbarItem.js +19 -0
  391. package/src/charting/toolbar/ToolbarMenu.js +36 -0
  392. package/src/charting/toolbar/ToolbarSelect.js +38 -0
  393. package/src/charting/toolbar/ToolbarSeparator.js +7 -0
  394. package/src/charting/toolbar/ToolbarText.js +22 -0
  395. package/src/charting/toolbar/index.js +8 -0
  396. package/src/charting/toolbar/pickFile.js +14 -0
  397. package/src/charting/viewDecorations.js +85 -0
  398. package/src/charting/zOrder.js +57 -0
  399. package/src/csvTable.js +61 -0
  400. package/src/datamodel.js +122 -0
  401. package/src/datawindow/BoundedWindow.js +36 -0
  402. package/src/datawindow/FlatDataWindow.js +34 -0
  403. package/src/datawindow/GraphDataWindow.js +40 -0
  404. package/src/datawindow/GroupedSampleDataWindow.js +16 -0
  405. package/src/datawindow/SeriesDataWindow.js +42 -0
  406. package/src/datawindow/index.js +31 -0
  407. package/src/diagramCatalog.js +30 -0
  408. package/src/ebnfDiagram.js +57 -0
  409. package/src/ebnfParser.js +129 -0
  410. package/src/exportImage.js +233 -0
  411. package/src/index.js +2636 -0
  412. package/src/itIcons.js +84 -0
  413. package/src/kernelExpr.js +243 -0
  414. package/src/propertiesDialog.js +463 -0
  415. package/src/railroadDiagram.js +571 -0
  416. package/src/treeModeCatalog.js +16 -0
  417. package/src/workspace/ContextBus.js +79 -0
  418. package/src/workspace/EditorShell.js +67 -0
  419. package/src/workspace/Part.js +163 -0
  420. package/src/workspace/PartFactory.js +49 -0
  421. package/src/workspace/PartRegistry.js +86 -0
  422. package/src/workspace/Workspace.js +321 -0
  423. package/src/workspace/archimateServices.js +33 -0
  424. package/src/workspace/dom.js +120 -0
  425. package/src/workspace/index.js +75 -0
  426. package/src/workspace/layout/GridNode.js +280 -0
  427. package/src/workspace/layout/LayoutNode.js +89 -0
  428. package/src/workspace/layout/PartNode.js +77 -0
  429. package/src/workspace/layout/SplitNode.js +114 -0
  430. package/src/workspace/layout/TabsNode.js +191 -0
  431. package/src/workspace/layout/index.js +24 -0
  432. package/src/workspace/parts/AdapterPart.js +33 -0
  433. package/src/workspace/parts/ArchimateCanvasPart.js +345 -0
  434. package/src/workspace/parts/ArchimateEditorPart.js +79 -0
  435. package/src/workspace/parts/ChartPart.js +115 -0
  436. package/src/workspace/parts/ContentPart.js +34 -0
  437. package/src/workspace/parts/DetailPart.js +46 -0
  438. package/src/workspace/parts/DiagramEditorPart.js +135 -0
  439. package/src/workspace/parts/EditorPart.js +388 -0
  440. package/src/workspace/parts/HtmlPart.js +25 -0
  441. package/src/workspace/parts/ListPart.js +57 -0
  442. package/src/workspace/parts/ModelFile.js +187 -0
  443. package/src/workspace/parts/ModelsPart.js +135 -0
  444. package/src/workspace/styles.js +258 -0
  445. package/src/workspace/themes.js +96 -0
  446. package/src/workspace/workArea.js +413 -0
  447. package/src/workspace/workAreaModel.js +197 -0
  448. package/src/workspace.js +16 -0
  449. package/src/zip/ZipArchive.js +160 -0
  450. package/src/zip/crc32.js +25 -0
  451. package/src/zip/inflate.js +159 -0
@@ -0,0 +1,285 @@
1
+ /**
2
+ * FilterSystem — Encapsulates all filtering logic and UI for ArchimateDiagramEditor.
3
+ * Owns: state (pattern, layers, types, mode), UI creation, event wiring, tree/diagram filtering.
4
+ * Single responsibility: manage element filtering across tree and diagram views.
5
+ */
6
+ export class FilterSystem {
7
+ constructor({ doc, model, onFilterChange = null } = {}) {
8
+ this.doc = doc;
9
+ this.model = model;
10
+ this.onFilterChange = onFilterChange;
11
+
12
+ // Filter state
13
+ this.pattern = '';
14
+ this.selectedLayers = new Set();
15
+ this.selectedTypes = new Set();
16
+ this.filterMode = 'both'; // 'both', 'diagram', 'tree'
17
+ this.searchDocs = false;
18
+
19
+ // UI elements (created in createPopupUI)
20
+ this.popup = null;
21
+ this.filterInput = null;
22
+ this.layerCheckboxes = new Map(); // layer -> checkbox
23
+ this.typeCheckboxes = new Map(); // type -> checkbox
24
+ }
25
+
26
+ /**
27
+ * Create the filter popup UI (layers, types, mode radios, etc).
28
+ * Returns a <div> ready to insert into the DOM.
29
+ */
30
+ createPopupUI() {
31
+ const popup = this.doc.createElement('div');
32
+ popup.id = 'tree-filters-popup';
33
+ popup.style.cssText = 'display:none;position:absolute;top:44px;right:-8px;background:white;border:1px solid #ccc;border-radius:3px;padding:12px;z-index:1000;box-shadow:0 4px 12px rgba(0,0,0,0.2);min-width:220px;max-height:500px;overflow-y:auto;';
34
+
35
+ // Header
36
+ const header = this.doc.createElement('div');
37
+ header.style.cssText = 'display:flex;justify-content:space-between;align-items:center;margin-bottom:8px;padding-bottom:8px;border-bottom:1px solid #eee;';
38
+ const title = this.doc.createElement('strong');
39
+ title.textContent = 'Filter Options';
40
+ title.style.fontSize = '12px';
41
+ const closeBtn = this.doc.createElement('button');
42
+ closeBtn.id = 'tree-filters-close';
43
+ closeBtn.textContent = '✕';
44
+ closeBtn.style.cssText = 'padding:0;border:none;background:none;cursor:pointer;font-size:14px;color:#666;';
45
+ closeBtn.addEventListener('click', (e) => {
46
+ e.stopPropagation();
47
+ this.togglePopup(false);
48
+ });
49
+ header.appendChild(title);
50
+ header.appendChild(closeBtn);
51
+ popup.appendChild(header);
52
+
53
+ // Apply mode section
54
+ const modeSection = this.doc.createElement('div');
55
+ modeSection.style.cssText = 'margin-bottom:8px;padding-bottom:8px;border-bottom:1px solid #eee;font-weight:bold;font-size:12px;';
56
+ modeSection.appendChild(this.doc.createTextNode('Apply to:'));
57
+ popup.appendChild(modeSection);
58
+
59
+ const modes = ['both', 'diagram', 'tree'];
60
+ for (const mode of modes) {
61
+ const label = this.doc.createElement('label');
62
+ label.style.cssText = 'display:flex;align-items:center;gap:4px;cursor:pointer;margin:6px 0;font-size:12px;';
63
+ const radio = this.doc.createElement('input');
64
+ radio.type = 'radio';
65
+ radio.name = 'tree-filter-mode';
66
+ radio.value = mode;
67
+ radio.checked = (mode === 'both');
68
+ radio.style.cursor = 'pointer';
69
+ radio.addEventListener('change', () => this._onModeChange(mode));
70
+ label.appendChild(radio);
71
+ label.appendChild(this.doc.createTextNode(mode.charAt(0).toUpperCase() + mode.slice(1)));
72
+ popup.appendChild(label);
73
+ }
74
+
75
+ // Docs checkbox
76
+ const docsDiv = this.doc.createElement('div');
77
+ docsDiv.style.cssText = 'margin-top:10px;padding-top:10px;border-top:1px solid #eee;border-bottom:1px solid #eee;padding-bottom:10px;';
78
+ const docsLabel = this.doc.createElement('label');
79
+ docsLabel.style.cssText = 'display:flex;align-items:center;gap:4px;cursor:pointer;font-size:12px;';
80
+ const docsCheckbox = this.doc.createElement('input');
81
+ docsCheckbox.type = 'checkbox';
82
+ docsCheckbox.id = 'tree-search-docs';
83
+ docsCheckbox.style.cursor = 'pointer';
84
+ docsCheckbox.addEventListener('change', () => this._onDocsChange());
85
+ docsLabel.appendChild(docsCheckbox);
86
+ docsLabel.appendChild(this.doc.createTextNode('Search docs'));
87
+ docsDiv.appendChild(docsLabel);
88
+ popup.appendChild(docsDiv);
89
+
90
+ // Layers/Types section
91
+ const typesSection = this.doc.createElement('div');
92
+ typesSection.style.cssText = 'margin-top:10px;';
93
+ const typesTitle = this.doc.createElement('div');
94
+ typesTitle.style.cssText = 'font-weight:bold;font-size:12px;margin-bottom:6px;';
95
+ typesTitle.textContent = 'Layers/Types:';
96
+ typesSection.appendChild(typesTitle);
97
+
98
+ const typesContainer = this.doc.createElement('div');
99
+ typesContainer.id = 'tree-filter-types';
100
+ typesContainer.style.cssText = 'padding-left:8px;font-size:12px;';
101
+ this._populateLayersAndTypes(typesContainer);
102
+ typesSection.appendChild(typesContainer);
103
+ popup.appendChild(typesSection);
104
+
105
+ this.popup = popup;
106
+ return popup;
107
+ }
108
+
109
+ /**
110
+ * Populate layer and type checkboxes from model.
111
+ * Called when popup is created and when model changes.
112
+ */
113
+ _populateLayersAndTypes(container) {
114
+ container.innerHTML = '';
115
+ this.layerCheckboxes.clear();
116
+ this.typeCheckboxes.clear();
117
+
118
+ const layers = new Set();
119
+ const types = new Set();
120
+ for (const el of this.model.elements()) {
121
+ if (el.layer) layers.add(el.layer);
122
+ if (el.type) types.add(el.type);
123
+ }
124
+
125
+ // Add layers
126
+ const sortedLayers = Array.from(layers).sort();
127
+ if (sortedLayers.length > 0) {
128
+ const layersLabel = this.doc.createElement('div');
129
+ layersLabel.style.cssText = 'font-weight:bold;font-size:11px;margin-top:8px;margin-bottom:4px;color:#666;';
130
+ layersLabel.textContent = 'Layers:';
131
+ container.appendChild(layersLabel);
132
+
133
+ for (const layer of sortedLayers) {
134
+ const label = this.doc.createElement('label');
135
+ label.style.cssText = 'display:flex;align-items:center;gap:4px;cursor:pointer;margin:2px 0;font-size:12px;';
136
+ const checkbox = this.doc.createElement('input');
137
+ checkbox.type = 'checkbox';
138
+ checkbox.checked = true;
139
+ checkbox.dataset.filter = `layer:${layer}`;
140
+ checkbox.style.cursor = 'pointer';
141
+ checkbox.addEventListener('click', (e) => e.stopPropagation());
142
+ checkbox.addEventListener('change', () => this._onLayerTypeChange());
143
+ label.appendChild(checkbox);
144
+ label.appendChild(this.doc.createTextNode(layer));
145
+ container.appendChild(label);
146
+ this.layerCheckboxes.set(layer, checkbox);
147
+ }
148
+ }
149
+
150
+ // Add types
151
+ const sortedTypes = Array.from(types).sort();
152
+ if (sortedTypes.length > 0) {
153
+ const typesLabel = this.doc.createElement('div');
154
+ typesLabel.style.cssText = 'font-weight:bold;font-size:11px;margin-top:8px;margin-bottom:4px;color:#666;';
155
+ typesLabel.textContent = 'Types:';
156
+ container.appendChild(typesLabel);
157
+
158
+ for (const type of sortedTypes) {
159
+ const label = this.doc.createElement('label');
160
+ label.style.cssText = 'display:flex;align-items:center;gap:4px;cursor:pointer;margin:2px 0;font-size:12px;';
161
+ const checkbox = this.doc.createElement('input');
162
+ checkbox.type = 'checkbox';
163
+ checkbox.checked = true;
164
+ checkbox.dataset.filter = `type:${type}`;
165
+ checkbox.style.cursor = 'pointer';
166
+ checkbox.addEventListener('click', (e) => e.stopPropagation());
167
+ checkbox.addEventListener('change', () => this._onLayerTypeChange());
168
+ label.appendChild(checkbox);
169
+ label.appendChild(this.doc.createTextNode(type));
170
+ container.appendChild(label);
171
+ this.typeCheckboxes.set(type, checkbox);
172
+ }
173
+ }
174
+ }
175
+
176
+ togglePopup(show = null) {
177
+ if (!this.popup) return;
178
+ if (show === null) {
179
+ show = this.popup.style.display === 'none';
180
+ }
181
+ this.popup.style.display = show ? 'block' : 'none';
182
+ }
183
+
184
+ /**
185
+ * Compute matching element IDs based on current filter state.
186
+ * Returns a Set of element IDs that match all active filters.
187
+ */
188
+ getMatchingElementIds() {
189
+ const matching = new Set();
190
+
191
+ // Query current checkbox state
192
+ this.selectedLayers.clear();
193
+ this.selectedTypes.clear();
194
+ for (const checkbox of this.doc.querySelectorAll('#tree-filter-types input[type="checkbox"]')) {
195
+ if (checkbox.checked) {
196
+ const filter = checkbox.getAttribute('data-filter');
197
+ if (filter?.startsWith('layer:')) {
198
+ this.selectedLayers.add(filter.substring(6));
199
+ } else if (filter?.startsWith('type:')) {
200
+ this.selectedTypes.add(filter.substring(5));
201
+ }
202
+ }
203
+ }
204
+
205
+ // Check if any filters are active
206
+ const hasTextPattern = this.pattern && this.pattern.trim() !== '';
207
+ const hasLayerFilter = this.selectedLayers.size > 0;
208
+ const hasTypeFilter = this.selectedTypes.size > 0;
209
+ const hasAnyFilter = hasTextPattern || hasLayerFilter || hasTypeFilter;
210
+
211
+ if (!hasAnyFilter) {
212
+ return null; // null means "no filter, show all"
213
+ }
214
+
215
+ // Build matching set
216
+ for (const el of this.model.elements()) {
217
+ let textMatches = true;
218
+ let layerMatches = true;
219
+ let typeMatches = true;
220
+
221
+ if (hasTextPattern) {
222
+ try {
223
+ const regex = new RegExp(this.pattern, 'i');
224
+ textMatches = regex.test(el.name || '');
225
+ if (!textMatches && this.searchDocs) {
226
+ textMatches = regex.test(el.documentation || '');
227
+ }
228
+ } catch (e) {
229
+ console.warn('Invalid regex pattern:', this.pattern);
230
+ textMatches = false;
231
+ }
232
+ }
233
+
234
+ if (hasLayerFilter) {
235
+ layerMatches = this.selectedLayers.has(el.layer);
236
+ }
237
+
238
+ if (hasTypeFilter) {
239
+ typeMatches = this.selectedTypes.has(el.type);
240
+ }
241
+
242
+ if (textMatches && layerMatches && typeMatches) {
243
+ matching.add(el.id);
244
+ }
245
+ }
246
+
247
+ return matching.size > 0 ? matching : new Set();
248
+ }
249
+
250
+ /**
251
+ * Apply filter: call onFilterChange callback with result.
252
+ */
253
+ applyFilter() {
254
+ const matchingIds = this.getMatchingElementIds();
255
+ if (this.onFilterChange) {
256
+ this.onFilterChange({
257
+ matchingIds,
258
+ filterMode: this.filterMode,
259
+ pattern: this.pattern,
260
+ searchDocs: this.searchDocs,
261
+ });
262
+ }
263
+ }
264
+
265
+ // Event handlers
266
+ _onModeChange(mode) {
267
+ this.filterMode = mode;
268
+ this.applyFilter();
269
+ }
270
+
271
+ _onDocsChange() {
272
+ const checkbox = this.doc.getElementById('tree-search-docs');
273
+ this.searchDocs = checkbox?.checked || false;
274
+ this.applyFilter();
275
+ }
276
+
277
+ _onLayerTypeChange() {
278
+ this.applyFilter();
279
+ }
280
+
281
+ setPattern(pattern) {
282
+ this.pattern = pattern;
283
+ this.applyFilter();
284
+ }
285
+ }
@@ -0,0 +1,139 @@
1
+ import { el } from '../workspace/dom.js';
2
+ import { FormDialog } from './FormDialog.js';
3
+ import { SEARCH_FIELDS } from './diagramModel/ModelSearch.js';
4
+
5
+ const RESULTS_SHOWN = 200;
6
+
7
+ /**
8
+ * FindReplaceDialog — Find and replace over a model (its `search()`, a
9
+ * ModelSearch): what to find, what to put in its place, match case, whole
10
+ * words, regular expression, and where to look (names, documentation,
11
+ * property values). What matches is listed as you type; choosing one closes
12
+ * the dialog and shows it (`onReveal(match)`). "Replace all" replaces every
13
+ * listed match as one undo step on `history()`.
14
+ *
15
+ * The last search is kept (`state`), so opening it again carries on.
16
+ */
17
+ export class FindReplaceDialog {
18
+ /**
19
+ * @param {Object} options
20
+ * @param {() => ViewSetModel} options.model
21
+ * @param {() => CommandHistory} options.history - Where a replace goes (the model's)
22
+ * @param {(match: Object) => void} [options.onReveal] - Show a match (switch view, select it)
23
+ * @param {(command: Command) => void} [options.onReplaced] - After a replace (redraw)
24
+ * @param {() => Document} [options.document]
25
+ */
26
+ constructor({ model, history, onReveal = () => {}, onReplaced = () => {}, document: doc = () => globalThis.document }) {
27
+ this.model = model;
28
+ this.history = history;
29
+ this.onReveal = onReveal;
30
+ this.onReplaced = onReplaced;
31
+ this.document = doc;
32
+ /** The last search: what was looked for and how. */
33
+ this.state = { find: '', replace: '', matchCase: false, wholeWord: false, regex: false, fields: SEARCH_FIELDS.map(([f]) => f) };
34
+ }
35
+
36
+ /** The search a dialog's values describe. */
37
+ static search(values) {
38
+ return {
39
+ find: values.find ?? '', replace: values.replace ?? '',
40
+ matchCase: !!values.matchCase, wholeWord: !!values.wholeWord, regex: !!values.regex,
41
+ fields: values.fields ?? SEARCH_FIELDS.map(([f]) => f),
42
+ };
43
+ }
44
+
45
+ /** What a search finds: `{ matches }`, or `{ error }` for an invalid regular expression. */
46
+ run(search = this.state) {
47
+ try {
48
+ return { matches: this.model().search().find(search.find, search) };
49
+ } catch (e) {
50
+ return { error: e instanceof SyntaxError ? 'Not a valid regular expression' : String(e.message ?? e) };
51
+ }
52
+ }
53
+
54
+ /** Replace what `search` finds, as one undo step; returns the command (null: nothing changed). */
55
+ replaceAll(search = this.state) {
56
+ const command = this.model().search().replaceCommand(search.find, search.replace, search);
57
+ if (!command) return null;
58
+ this.history().execute(command);
59
+ this.onReplaced(command);
60
+ return command;
61
+ }
62
+
63
+ open() {
64
+ const doc = this.document();
65
+ const s = this.state;
66
+ const results = el({ style: { gridColumn: '1 / -1', display: 'flex', flexDirection: 'column', gap: '3px', minWidth: '460px', maxHeight: '40vh', overflowY: 'auto' } }, doc);
67
+ let dialog = null;
68
+ const refresh = () => {
69
+ this.state = FindReplaceDialog.search(dialog.values());
70
+ const { matches, error } = this.run();
71
+ results.replaceChildren(...this.resultRows(matches, error, () => dialog).map(spec => el(spec, doc)));
72
+ };
73
+ dialog = new FormDialog({
74
+ title: 'Find and replace',
75
+ fields: [
76
+ { key: 'find', label: 'Find', type: 'text', value: s.find, placeholder: 'text to find' },
77
+ { key: 'replace', label: 'Replace with', type: 'text', value: s.replace },
78
+ { key: 'matchCase', label: 'Match case', type: 'checkbox', value: s.matchCase },
79
+ { key: 'wholeWord', label: 'Whole words', type: 'checkbox', value: s.wholeWord },
80
+ { key: 'regex', label: 'Regular expression', type: 'checkbox', value: s.regex, hint: 'In Replace with, $1 is the first group' },
81
+ { key: 'fields', label: 'Look in', type: 'checklist', value: s.fields, choices: SEARCH_FIELDS.map(([f, text]) => [f, text]) },
82
+ { type: 'heading', label: 'Found' },
83
+ { key: 'results', label: '', type: 'custom', element: results, read: () => null },
84
+ ],
85
+ submitLabel: 'Replace all',
86
+ idPrefix: 'find-replace-',
87
+ document: doc,
88
+ validate: (values) => {
89
+ const search = FindReplaceDialog.search(values);
90
+ const { matches, error } = this.run(search);
91
+ if (error) return error;
92
+ if (!matches.length) return 'Nothing found to replace';
93
+ return null;
94
+ },
95
+ onApply: (values) => {
96
+ this.state = FindReplaceDialog.search(values);
97
+ this.replaceAll();
98
+ },
99
+ });
100
+ dialog.open();
101
+ for (const control of Object.values(dialog.controls)) {
102
+ if (control === results) continue;
103
+ control.addEventListener?.('input', refresh);
104
+ control.addEventListener?.('change', refresh);
105
+ }
106
+ refresh();
107
+ dialog.controls.find?.focus?.();
108
+ return dialog;
109
+ }
110
+
111
+ /** The list under Found: a row per match (choosing it shows it), or why there is none. @protected */
112
+ resultRows(matches, error, dialog) {
113
+ if (error) return [{ text: error, style: { color: '#b00' } }];
114
+ if (!this.state.find) return [{ text: 'Type what to find.', style: { color: '#888' } }];
115
+ if (!matches.length) return [{ text: 'Nothing found.', style: { color: '#888' } }];
116
+ const total = matches.reduce((n, m) => n + m.count, 0);
117
+ return [
118
+ { text: `${total} match${total === 1 ? '' : 'es'} in ${matches.length} text${matches.length === 1 ? '' : 's'}`, style: { color: '#555', fontSize: '12px' } },
119
+ ...matches.slice(0, RESULTS_SHOWN).map(match => ({
120
+ tag: 'button',
121
+ attrs: { type: 'button', title: 'Show it', 'data-kind': match.kind },
122
+ style: { textAlign: 'left', padding: '3px 6px', border: '1px solid #ddd', borderRadius: '3px', background: '#f8fafc', cursor: 'pointer' },
123
+ on: { click: () => { dialog()?.close(); this.onReveal(match); } },
124
+ children: [
125
+ { tag: 'b', text: match.owner },
126
+ { tag: 'span', text: ` · ${match.kind} · ${match.fieldLabel}: `, style: { color: '#777' } },
127
+ { tag: 'span', text: FindReplaceDialog.excerpt(match.text) },
128
+ ],
129
+ })),
130
+ ...(matches.length > RESULTS_SHOWN ? [{ text: `… and ${matches.length - RESULTS_SHOWN} more`, style: { color: '#888' } }] : []),
131
+ ];
132
+ }
133
+
134
+ /** A text on one line, cut short. */
135
+ static excerpt(text, max = 80) {
136
+ const line = String(text).replace(/\s+/g, ' ').trim();
137
+ return line.length > max ? `${line.slice(0, max - 1)}…` : line;
138
+ }
139
+ }