From 147cc7bbe07959df4ca94b5f3554e3094dbcd208 Mon Sep 17 00:00:00 2001 From: Su Date: Fri, 7 Apr 2023 13:04:03 -0700 Subject: [PATCH] Fine tuned dev tool datasource selector UI Signed-off-by: Su --- src/plugins/dev_tools/public/application.tsx | 79 +++++++++----------- src/plugins/dev_tools/public/index.scss | 11 ++- 2 files changed, 43 insertions(+), 47 deletions(-) diff --git a/src/plugins/dev_tools/public/application.tsx b/src/plugins/dev_tools/public/application.tsx index 859d62acee51..494026f652f8 100644 --- a/src/plugins/dev_tools/public/application.tsx +++ b/src/plugins/dev_tools/public/application.tsx @@ -154,51 +154,40 @@ function DevToolsWrapper({ return (
-
- - - - {devTools.map((currentDevTool) => ( - - { - if (!currentDevTool.isDisabled()) { - updateRoute(`/${currentDevTool.id}`); - } - }} - > - {currentDevTool.title} - - - ))} - - - {dataSourceEnabled ? ( - - - - ) : null} - -
+ + {devTools.map((currentDevTool) => ( + + { + if (!currentDevTool.isDisabled()) { + updateRoute(`/${currentDevTool.id}`); + } + }} + > + {currentDevTool.title} + + + ))} +
+ +
+