Skip to content

Commit 9f753ab

Browse files
committed
fix #7783 -- Bold the Note: "This can take a long time to start, so be patient." for Pluto Servers
1 parent 9d9c2be commit 9f753ab

File tree

2 files changed

+8
-4
lines changed

2 files changed

+8
-4
lines changed

src/packages/frontend/components/link-retry.tsx

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -24,7 +24,7 @@ interface Props {
2424
onClick?: () => void;
2525
autoStart?: boolean;
2626
maxTime?: number;
27-
tooltip?: string;
27+
tooltip?: React.ReactNode;
2828
}
2929

3030
const LinkRetry: React.FC<Props> = ({

src/packages/frontend/project/named-server-panel.tsx

Lines changed: 7 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -28,7 +28,7 @@ import { useAvailableFeatures } from "./use-available-features";
2828

2929
interface Server {
3030
longName: string;
31-
description: string;
31+
description: React.ReactNode;
3232
usesBasePath: boolean;
3333
icon: IconName;
3434
}
@@ -66,8 +66,12 @@ code completion, snippets, code refactoring, and embedded Git.`,
6666
},
6767
pluto: {
6868
longName: "Julia Pluto.jl",
69-
description:
70-
"Reactive notebooks for Julia. NOTE: This can take a long time to start, so be patient.",
69+
description: (
70+
<>
71+
Reactive notebooks for Julia.{" "}
72+
<b>NOTE: Pluto may take a long time to start, so be patient.</b>
73+
</>
74+
),
7175
usesBasePath: false,
7276
icon: "julia",
7377
},

0 commit comments

Comments
 (0)