Fix bad switch to Pydantic for DirectoryEntry. Fix some TS errors.

lynxkite-app/src/lynxkite_app/main.py

@@ -94,11 +94,12 @@ def list_dir(path: str):
     return sorted(
         [
             DirectoryEntry(
-                p.relative_to(config.DATA_PATH),
-                "directory" if p.is_dir() else "workspace",
+                name=str(p.relative_to(config.DATA_PATH)),
+                type="directory" if p.is_dir() else "workspace",
             )
             for p in path.iterdir()
-        ]
+        ],
+        key=lambda x: x.name,
     )
 
 

lynxkite-app/web/src/Directory.tsx

@@ -122,7 +122,9 @@ export default function () {
                       newWorkspaceIn(
                         path || "",
                         list.data,
-                        e.target.workspaceName.value.trim(),
+                        (
+                          e.target as HTMLFormElement
+                        ).workspaceName.value.trim(),
                       );
                     }}
                   >
@@ -151,7 +153,7 @@ export default function () {
                       newFolderIn(
                         path || "",
                         list.data,
-                        e.target.folderName.value.trim(),
+                        (e.target as HTMLFormElement).folderName.value.trim(),
                       );
                     }}
                   >