From 37a13d1a00197a132da22688dae109b638334dd2 Mon Sep 17 00:00:00 2001 From: Felix Roos Date: Fri, 8 Dec 2023 23:09:24 +0100 Subject: [PATCH] add tooltips --- website/src/repl/panel/PatternsTab.jsx | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/website/src/repl/panel/PatternsTab.jsx b/website/src/repl/panel/PatternsTab.jsx index 4b1dfcf1..175ed887 100644 --- a/website/src/repl/panel/PatternsTab.jsx +++ b/website/src/repl/panel/PatternsTab.jsx @@ -31,16 +31,16 @@ export function PatternsTab({ context }) {

{activePattern}

{!isExample && ( - )} - {!isExample && ( - )}