);
};
const MarimoFileComponent = ({ file }: { file: MarimoFile }) => {
const { locale } = useLocale();
// If path is a sessionId, then it has not been saved yet
// We want to keep the sessionId in this case
const isNewNotebook = isSessionId(file.path);
const href = isNewNotebook
? asURL(
`?file=${encodeURIComponent(file.initializationId ?? file.path)}&session_id=${file.path}`,
)
: asURL(`?file=${encodeURIComponent(file.path)}`);
const isMarkdown = file.path.endsWith(".md");
return (