feat: enhance workspace switcher and rail with tooltips and layout adjustments

web/components/workbench-header.tsx

@@ -21,7 +21,6 @@ import {
   DropdownMenuSeparator,
   DropdownMenuTrigger,
 } from "@/components/ui/dropdown-menu"
-import { WorkspaceSwitcher } from "@/components/workspace-switcher"
 import { useAuth } from "@/components/auth-provider"
 import { useNotifications } from "@/components/notification-provider"
 import { useI18n } from "@/i18n/provider"
@@ -32,13 +31,7 @@ export function WorkbenchHeader() {
 
   return (
     <header className="flex h-(--header-height) shrink-0 items-center border-b border-border/70 bg-background/88 backdrop-blur supports-[backdrop-filter]:bg-background/76">
-      <div className="flex w-full min-w-0 items-center justify-between gap-3 px-3 lg:px-4">
-        <div className="min-w-0">
-          <WorkspaceSwitcher
-            currentWorkspace="workbench"
-            className="h-10 border-0 bg-transparent px-1.5 shadow-none hover:bg-muted"
-          />
-        </div>
+      <div className="flex w-full min-w-0 items-center justify-end gap-3 px-3 lg:px-4">
         <div className="flex min-w-0 items-center justify-end gap-2">
           <div className="hidden sm:block">
             <RealtimeConnectionStatus status={realtimeStatus} compact />