update dock
This commit is contained in:
@@ -2,7 +2,7 @@ use std::rc::Rc;
|
||||
|
||||
use gpui::prelude::FluentBuilder as _;
|
||||
use gpui::{App, InteractiveElement as _, IntoElement, Pixels, Styled as _, Window, div, px};
|
||||
pub(crate) use gpui_base::{PANEL_MIN_SIZE, resize_handle};
|
||||
pub(crate) use gpui_base::resize_handle;
|
||||
pub use gpui_base::{
|
||||
ResizablePanel, ResizablePanelEvent, ResizablePanelGroup, ResizableState, h_resizable,
|
||||
resizable_panel, v_resizable,
|
||||
@@ -12,9 +12,6 @@ use theme::{ActiveTheme as _, AxisExt as _};
|
||||
|
||||
const HANDLE_SIZE: Pixels = px(1.);
|
||||
|
||||
/// The coop divider: a 1px line that appears only while the handle is hovered
|
||||
/// or dragged, tinted from the coop palette. Base's built-in line is always
|
||||
/// painted and takes its colours from `ResizableTheme`.
|
||||
pub(crate) fn resize_handle_appearance() -> ResizeHandleRenderer {
|
||||
Rc::new(
|
||||
|context: &ResizeHandleContext, _: &mut Window, cx: &mut App| {
|
||||
|
||||
Reference in New Issue
Block a user