From 9688561f4a37d75820853df5fa05d22a2d9f5275 Mon Sep 17 00:00:00 2001
From: Devon Carew <devoncarew@google.com>
Date: Wed, 31 Jul 2024 14:12:58 -0700
Subject: [PATCH] disable opening the docs panel

---
 pkgs/dartpad_ui/lib/main.dart | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/pkgs/dartpad_ui/lib/main.dart b/pkgs/dartpad_ui/lib/main.dart
index 33ff23732..9dc4f3328 100644
--- a/pkgs/dartpad_ui/lib/main.dart
+++ b/pkgs/dartpad_ui/lib/main.dart
@@ -545,8 +545,12 @@ class _DartPadMainPageState extends State<DartPadMainPage>
   static final RegExp identifierChar = RegExp(r'[\w\d_<=>]');
 
   void _handleDocClicked() async {
-    // TODO: Support having the escape key close the doc panel.
+    // TODO(devoncarew): Disable opening the documentation panel; this is too
+    // disruptive when people are editing code. We should switch to using a
+    // tooltip (https://github.com/dart-lang/dart-pad/issues/3032).
+    return;
 
+    // ignore: dead_code
     try {
       final source = appModel.sourceCodeController.text;
       final offset = appModel.lastEditorClickOffset.value;