From 42b5016dadbb53a26d7a47009172d90689be6480 Mon Sep 17 00:00:00 2001 From: Alex Beaman Date: Wed, 13 Oct 2021 15:56:30 -0700 Subject: [PATCH] Merge pull request #5812 from akshayasalvi/tooltip-workspace-name Added tooltip for workspace name (cherry picked from commit a77d4682f27939ae4a562cda421648d6a9649440) --- src/pages/workspace/WorkspaceInitialPage.js | 20 +++++++++++--------- 1 file changed, 11 insertions(+), 9 deletions(-) diff --git a/src/pages/workspace/WorkspaceInitialPage.js b/src/pages/workspace/WorkspaceInitialPage.js index a796df61b443..76c86b9feab0 100644 --- a/src/pages/workspace/WorkspaceInitialPage.js +++ b/src/pages/workspace/WorkspaceInitialPage.js @@ -163,15 +163,17 @@ const WorkspaceInitialPage = ({ ]} onPress={openEditor} > - - {policy.name} - + + + {policy.name} + +