import React from "react"; import { postToIde } from "../../util/ide"; function VSCodeFileLink(props: { path: string; text?: string }) { return ( { postToIde("openFile", { path: props.path }); }} > {props.text || props.path} ); } export default VSCodeFileLink;