Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Tidy up workspace resizing

Browse source
This commit is contained in:
Mikayla 2023-12-13 16:35:25 -08:00
parent e2bfd46455
commit 416bb45531
No known key found for this signature in database
2 changed files with 10 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

15
crates/workspace2/src/dock.rs
View file

@ -1,10 +1,9 @@
use crate::DraggedDock;
use crate::{status_bar::StatusItemView, Workspace};
use gpui::{
div, px, red, Action, AnchorCorner, AnyView, AppContext, Axis, ClickEvent, Div, Entity,
EntityId, EventEmitter, FocusHandle, FocusableView, IntoElement, MouseButton, ParentElement,
Render, SharedString, Styled, Subscription, View, ViewContext, VisualContext, WeakView,
WindowContext,
div, px, Action, AnchorCorner, AnyView, AppContext, Axis, ClickEvent, Div, Entity, EntityId,
EventEmitter, FocusHandle, FocusableView, IntoElement, MouseButton, ParentElement, Render,
SharedString, Styled, Subscription, View, ViewContext, VisualContext, WeakView, WindowContext,
};
use schemars::JsonSchema;
use serde::{Deserialize, Serialize};
@ -493,16 +492,16 @@ impl Render for Dock {
let position = self.position;
let handler = div()
.id("resize-handle")
// .bg(cx.theme().colors().border)
.bg(red())
.bg(cx.theme().colors().border)
.on_drag(move |cx| cx.build_view(|_| DraggedDock(position)))
.on_click(cx.listener(|v, e: &ClickEvent, cx| {
if e.down.button == MouseButton::Left && e.down.click_count == 2 {
v.resize_active_panel(None, cx)
}
}));
}))
.z_index(1);
const HANDLE_SIZE: Pixels = Pixels(4. * 3.);
const HANDLE_SIZE: Pixels = Pixels(6.);
match self.position() {
DockPosition::Left => {