Floyd Wang cd9c88a0f7 dock: Leave some space between the tabs title and panel (#612) ... ## Before <img width="541" alt="image" src="https://github.com/user-attachments/assets/a41390ec-a86b-4ca2-bcf4-a2b368c1e2e0" /> ## After <img width="518" alt="image" src="https://github.com/user-attachments/assets/0896abe5-d499-4052-aa84-0864029c0346" />		2025-02-10 15:55:08 +08:00
..
story	chore: Upgrade GPUI 2025/02/10 (#610)	2025-02-10 11:53:25 +08:00
ui	dock: Leave some space between the tabs title and panel (#612)	2025-02-10 15:55:08 +08:00