added proper editor buttons to prj card, APP BROKEN HERE.

lib/widgets/launcherButton.dart

@@ -0,0 +1,21 @@
+import "package:flutter/material.dart";
+import "package:prod/models/editor.dart";
+import "package:prod/models/globalModel.dart";
+import "package:provider/provider.dart";
+
+class LauncherButton extends StatelessWidget {
+  const LauncherButton(this.eid, {super.key});
+  final String? eid;
+
+  @override
+  Widget build(BuildContext context) {
+    GlobalModel gm = Provider.of<GlobalModel>(context, listen: false);
+    final Editor edt = gm.nthEdt(gm.id2EdtMap[eid]!);
+    return eid == null
+        ? Container()
+        : Expanded(
+            flex: 1,
+            child: TextButton(child: Text("${edt.sname}"), onPressed: () {}),
+          );
+  }
+}