From 37a40e30f6a6e4c5da2bb1739a48feecf89a7939 Mon Sep 17 00:00:00 2001
From: Micha Reiser <micha@reiser.io>
Date: Fri, 28 Mar 2025 21:58:05 +0100
Subject: [PATCH] [playground] Allow selecting the diagnostic message (#17051)

## Summary

Allow selecting the diagnostic message so that the message can be copied
(e.g. into an issue)

## Test Plan

<img width="1679" alt="Screenshot 2025-03-28 at 16 52 45"
src="https://github.com/user-attachments/assets/06674d87-6c88-45d4-b46c-0bcb3e151996"
/>
---
 playground/knot/src/Editor/Diagnostics.tsx | 2 +-
 playground/ruff/src/Editor/Diagnostics.tsx | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/playground/knot/src/Editor/Diagnostics.tsx b/playground/knot/src/Editor/Diagnostics.tsx
index 5d4301d974..35b489dea9 100644
--- a/playground/knot/src/Editor/Diagnostics.tsx
+++ b/playground/knot/src/Editor/Diagnostics.tsx
@@ -84,7 +84,7 @@ function Items({
           <li key={`${diagnostic.text_range()?.start ?? 0}-${id ?? index}`}>
             <button
               onClick={() => onGoTo(startLine, startColumn)}
-              className="w-full text-start cursor-pointer"
+              className="w-full text-start cursor-pointer select-text"
             >
               {diagnostic.message()}
               <span className="text-gray-500">
diff --git a/playground/ruff/src/Editor/Diagnostics.tsx b/playground/ruff/src/Editor/Diagnostics.tsx
index c3d1360275..781c919205 100644
--- a/playground/ruff/src/Editor/Diagnostics.tsx
+++ b/playground/ruff/src/Editor/Diagnostics.tsx
@@ -6,6 +6,7 @@ import { useMemo } from "react";
 interface Props {
   diagnostics: Diagnostic[];
   theme: Theme;
+
   onGoTo(line: number, column: number): void;
 }
 
@@ -79,7 +80,7 @@ function Items({
                   diagnostic.start_location.column,
                 )
               }
-              className="w-full text-start"
+              className="w-full text-start cursor-pointer select-text"
             >
               {diagnostic.message}{" "}
               <span className="text-gray-500">