From 3c7850f9834e1c5095d299afe5c0052d1cc1b8b7 Mon Sep 17 00:00:00 2001
From: Devon Carew <devoncarew@gmail.com>
Date: Thu, 1 Aug 2024 14:44:42 -0700
Subject: [PATCH] disable opening the docs panel (#3034)

---
 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;