dock: Update drop panel target mask to 50% of panel. (#845)

This commit is contained in:
Jason Lee 2025-05-09 22:55:48 +08:00 committed by GitHub
parent d288a51e06
commit 8bea37ed74
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -1,7 +1,7 @@
use std::sync::Arc; use std::sync::Arc;
use gpui::{ use gpui::{
div, prelude::FluentBuilder, px, rems, App, AppContext, Context, Corner, DefiniteLength, div, prelude::FluentBuilder, px, relative, rems, App, AppContext, Context, Corner,
DismissEvent, DragMoveEvent, Empty, Entity, EventEmitter, FocusHandle, Focusable, DismissEvent, DragMoveEvent, Empty, Entity, EventEmitter, FocusHandle, Focusable,
InteractiveElement as _, IntoElement, ParentElement, Pixels, Render, ScrollHandle, InteractiveElement as _, IntoElement, ParentElement, Pixels, Render, ScrollHandle,
SharedString, StatefulInteractiveElement, StyleRefinement, Styled, WeakEntity, Window, SharedString, StatefulInteractiveElement, StyleRefinement, Styled, WeakEntity, Window,
@ -823,7 +823,7 @@ impl TabPanel {
.bg(cx.theme().drop_target) .bg(cx.theme().drop_target)
.map(|this| match self.will_split_placement { .map(|this| match self.will_split_placement {
Some(placement) => { Some(placement) => {
let size = DefiniteLength::Fraction(0.35); let size = relative(0.5);
match placement { match placement {
Placement::Left => this.left_0().top_0().bottom_0().w(size), Placement::Left => this.left_0().top_0().bottom_0().w(size),
Placement::Right => { Placement::Right => {