diff --git a/packages/app/src/screens/workspace/workspace-screen.tsx b/packages/app/src/screens/workspace/workspace-screen.tsx
index 98a368c4a..913aff9f1 100644
--- a/packages/app/src/screens/workspace/workspace-screen.tsx
+++ b/packages/app/src/screens/workspace/workspace-screen.tsx
@@ -2046,40 +2046,61 @@ function WorkspaceScreenContent({ serverId, workspaceId }: WorkspaceScreenProps)
serverId={normalizedServerId}
cwd={normalizedWorkspaceId}
/>
- [
- styles.sourceControlButton,
- workspaceDescriptor?.diffStat && styles.sourceControlButtonWithStats,
- (hovered || pressed || isExplorerOpen) && styles.sourceControlButtonHovered,
- ]}
- >
- {({ hovered, pressed }) => {
- const active = isExplorerOpen || hovered || pressed;
- const iconColor = active
- ? theme.colors.foreground
- : theme.colors.foregroundMuted;
- return (
- <>
-
- {workspaceDescriptor?.diffStat ? (
-
-
- +{workspaceDescriptor.diffStat.additions}
-
-
- -{workspaceDescriptor.diffStat.deletions}
-
-
- ) : null}
- >
- );
- }}
-
+
+
+ [
+ styles.sourceControlButton,
+ workspaceDescriptor?.diffStat && styles.sourceControlButtonWithStats,
+ (hovered || pressed || isExplorerOpen) &&
+ styles.sourceControlButtonHovered,
+ ]}
+ >
+ {({ hovered, pressed }) => {
+ const active = isExplorerOpen || hovered || pressed;
+ const iconColor = active
+ ? theme.colors.foreground
+ : theme.colors.foregroundMuted;
+ return (
+ <>
+
+ {workspaceDescriptor?.diffStat ? (
+
+
+ +{workspaceDescriptor.diffStat.additions}
+
+
+ -{workspaceDescriptor.diffStat.deletions}
+
+
+ ) : null}
+ >
+ );
+ }}
+
+
+
+
+ Toggle explorer
+
+
+
+
>
) : null}
{!isMobile && !isGitCheckout ? (
@@ -2347,6 +2368,19 @@ const styles = StyleSheet.create((theme) => ({
backgroundColor: theme.colors.surface3,
borderColor: theme.colors.borderAccent,
},
+ explorerTooltipRow: {
+ flexDirection: "row",
+ alignItems: "center",
+ gap: theme.spacing[2],
+ },
+ explorerTooltipText: {
+ fontSize: theme.fontSize.sm,
+ color: theme.colors.popoverForeground,
+ },
+ explorerTooltipShortcut: {
+ backgroundColor: theme.colors.surface3,
+ borderColor: theme.colors.borderAccent,
+ },
mobileTabsRow: {
backgroundColor: theme.colors.surface0,
borderBottomWidth: theme.borderWidth[1],