fix widgets module name in api.json

martinfouilleul · martinfouilleul · commit 1886972374b1 · 2025-02-07T18:19:16.000+01:00
diff --git a/src/api.json b/src/api.json
@@ -14447,8 +14447,8 @@
 },
 {
     "kind": "module",
-    "name": "UI Core",
-    "brief": "Graphical User Interface Core API.",
+    "name": "UI Widgets",
+    "brief": "Graphical User Interface Widgets.",
     "contents": [
         {
             "kind": "proc",

Original file line number	Diff line number	Diff line change
`@@ -14447,8 +14447,8 @@`
`14447`	`14447`	`},`
`14448`	`14448`	`{`
`14449`	`14449`	`"kind": "module",`
`14450`		`- "name": "UI Core",`
`14451`		`- "brief": "Graphical User Interface Core API.",`
	`14450`	`+ "name": "UI Widgets",`
	`14451`	`+ "brief": "Graphical User Interface Widgets.",`
`14452`	`14452`	`"contents": [`
`14453`	`14453`	`{`
`14454`	`14454`	`"kind": "proc",`