Move the collab panel to the left by default

Increase the indent size on channels
Switch font UI mono
This commit is contained in:
Mikayla 2023-08-18 14:53:30 -07:00
parent d1aa82bb48
commit 8ef671d7a1
No known key found for this signature in database
6 changed files with 78 additions and 22 deletions

View file

@ -126,7 +126,7 @@
// Whether to show the collaboration panel button in the status bar. // Whether to show the collaboration panel button in the status bar.
"button": true, "button": true,
// Where to dock channels panel. Can be 'left' or 'right'. // Where to dock channels panel. Can be 'left' or 'right'.
"dock": "right", "dock": "left",
// Default width of the channels panel. // Default width of the channels panel.
"default_width": 240 "default_width": 240
}, },

View file

@ -2354,7 +2354,7 @@ impl View for CollabPanel {
.into_any() .into_any()
}) })
.on_click(MouseButton::Left, |_, _, cx| cx.focus_self()) .on_click(MouseButton::Left, |_, _, cx| cx.focus_self())
.into_any_named("channels panel") .into_any_named("collab panel")
} }
} }
@ -2404,7 +2404,10 @@ impl Panel for CollabPanel {
} }
fn icon_tooltip(&self) -> (String, Option<Box<dyn gpui::Action>>) { fn icon_tooltip(&self) -> (String, Option<Box<dyn gpui::Action>>) {
("Channels Panel".to_string(), Some(Box::new(ToggleFocus))) (
"Collaboration Panel".to_string(),
Some(Box::new(ToggleFocus)),
)
} }
fn should_change_position_on_event(event: &Self::Event) -> bool { fn should_change_position_on_event(event: &Self::Event) -> bool {

View file

@ -72,7 +72,7 @@ impl View for TestView {
TextStyle::for_color(Color::blue()), TextStyle::for_color(Color::blue()),
) )
.with_style(ButtonStyle::fill(Color::yellow())) .with_style(ButtonStyle::fill(Color::yellow()))
.into_element(), .element(),
) )
.with_child( .with_child(
ToggleableButton::new(self.is_doubling, move |_, v: &mut Self, cx| { ToggleableButton::new(self.is_doubling, move |_, v: &mut Self, cx| {
@ -84,7 +84,7 @@ impl View for TestView {
inactive: ButtonStyle::fill(Color::red()), inactive: ButtonStyle::fill(Color::red()),
active: ButtonStyle::fill(Color::green()), active: ButtonStyle::fill(Color::green()),
}) })
.into_element(), .element(),
) )
.expanded() .expanded()
.contained() .contained()

View file

@ -9,6 +9,12 @@ use super::Empty;
pub trait GeneralComponent { pub trait GeneralComponent {
fn render<V: View>(self, v: &mut V, cx: &mut ViewContext<V>) -> AnyElement<V>; fn render<V: View>(self, v: &mut V, cx: &mut ViewContext<V>) -> AnyElement<V>;
fn element<V: View>(self) -> ComponentAdapter<V, Self>
where
Self: Sized,
{
ComponentAdapter::new(self)
}
} }
pub trait StyleableComponent { pub trait StyleableComponent {
@ -50,6 +56,53 @@ impl<V: View, C: GeneralComponent> Component<V> for C {
} }
} }
// StylableComponent -> GeneralComponent
pub struct StylableComponentAdapter<C: Component<V>, V: View> {
component: C,
phantom: std::marker::PhantomData<V>,
}
impl<C: Component<V>, V: View> StylableComponentAdapter<C, V> {
fn new(component: C) -> Self {
Self {
component,
phantom: std::marker::PhantomData,
}
}
}
impl<C: GeneralComponent, V: View> StyleableComponent for StylableComponentAdapter<C, V> {
type Style = ();
type Output = C;
fn with_style(self, _: Self::Style) -> Self::Output {
self.component
}
}
// Element -> Component
pub struct ElementAdapter<V: View> {
element: AnyElement<V>,
_phantom: std::marker::PhantomData<V>,
}
impl<V: View> ElementAdapter<V> {
pub fn new(element: AnyElement<V>) -> Self {
Self {
element,
_phantom: std::marker::PhantomData,
}
}
}
impl<V: View> Component<V> for ElementAdapter<V> {
fn render(self, _: &mut V, _: &mut ViewContext<V>) -> AnyElement<V> {
self.element
}
}
// Component -> Element
pub struct ComponentAdapter<V: View, E> { pub struct ComponentAdapter<V: View, E> {
component: Option<E>, component: Option<E>,
element: Option<AnyElement<V>>, element: Option<AnyElement<V>>,

View file

@ -37,7 +37,7 @@ export default function contacts_panel(): any {
width: 14, width: 14,
}, },
name: { name: {
...text(layer, "ui_sans", { size: "sm" }), ...text(layer, "sans", { size: "sm" }),
margin: { margin: {
left: NAME_MARGIN, left: NAME_MARGIN,
right: 4, right: 4,
@ -69,7 +69,7 @@ export default function contacts_panel(): any {
const subheader_row = toggleable({ const subheader_row = toggleable({
base: interactive({ base: interactive({
base: { base: {
...text(layer, "ui_sans", { size: "sm" }), ...text(layer, "sans", { size: "sm" }),
padding: { padding: {
left: SPACING, left: SPACING,
right: SPACING, right: SPACING,
@ -87,7 +87,7 @@ export default function contacts_panel(): any {
state: { state: {
active: { active: {
default: { default: {
...text(theme.lowest, "ui_sans", { size: "sm" }), ...text(theme.lowest, "sans", { size: "sm" }),
background: background(theme.lowest), background: background(theme.lowest),
}, },
clicked: { clicked: {
@ -100,8 +100,8 @@ export default function contacts_panel(): any {
const filter_input = { const filter_input = {
background: background(layer, "on"), background: background(layer, "on"),
corner_radius: 6, corner_radius: 6,
text: text(layer, "ui_sans", "base"), text: text(layer, "sans", "base"),
placeholder_text: text(layer, "ui_sans", "base", "disabled", { placeholder_text: text(layer, "sans", "base", "disabled", {
size: "xs", size: "xs",
}), }),
selection: theme.players[0], selection: theme.players[0],
@ -140,7 +140,7 @@ export default function contacts_panel(): any {
}, },
active: { active: {
default: { default: {
...text(theme.lowest, "ui_sans", { size: "sm" }), ...text(theme.lowest, "sans", { size: "sm" }),
background: background(theme.lowest), background: background(theme.lowest),
}, },
clicked: { clicked: {
@ -194,10 +194,10 @@ export default function contacts_panel(): any {
add_channel_button: header_icon_button, add_channel_button: header_icon_button,
leave_call_button: header_icon_button, leave_call_button: header_icon_button,
row_height: ITEM_HEIGHT, row_height: ITEM_HEIGHT,
channel_indent: INDENT_SIZE, channel_indent: INDENT_SIZE * 2,
section_icon_size: 14, section_icon_size: 14,
header_row: { header_row: {
...text(layer, "ui_sans", { size: "sm", weight: "bold" }), ...text(layer, "sans", { size: "sm", weight: "bold" }),
margin: { top: SPACING }, margin: { top: SPACING },
padding: { padding: {
left: SPACING, left: SPACING,
@ -251,7 +251,7 @@ export default function contacts_panel(): any {
}, },
active: { active: {
default: { default: {
...text(theme.lowest, "ui_sans", { size: "sm" }), ...text(theme.lowest, "sans", { size: "sm" }),
background: background(theme.lowest), background: background(theme.lowest),
}, },
clicked: { clicked: {
@ -262,7 +262,7 @@ export default function contacts_panel(): any {
}), }),
channel_row: item_row, channel_row: item_row,
channel_name: { channel_name: {
...text(layer, "ui_sans", { size: "sm" }), ...text(layer, "sans", { size: "sm" }),
margin: { margin: {
left: NAME_MARGIN, left: NAME_MARGIN,
}, },
@ -279,7 +279,7 @@ export default function contacts_panel(): any {
list_empty_state: toggleable({ list_empty_state: toggleable({
base: interactive({ base: interactive({
base: { base: {
...text(layer, "ui_sans", "variant", { size: "sm" }), ...text(layer, "sans", "variant", { size: "sm" }),
padding: { padding: {
top: SPACING / 2, top: SPACING / 2,
bottom: SPACING / 2, bottom: SPACING / 2,
@ -301,7 +301,7 @@ export default function contacts_panel(): any {
}, },
active: { active: {
default: { default: {
...text(theme.lowest, "ui_sans", { size: "sm" }), ...text(theme.lowest, "sans", { size: "sm" }),
background: background(theme.lowest), background: background(theme.lowest),
}, },
clicked: { clicked: {
@ -325,12 +325,12 @@ export default function contacts_panel(): any {
right: 4, right: 4,
}, },
background: background(layer, "hovered"), background: background(layer, "hovered"),
...text(layer, "ui_sans", "hovered", { size: "xs" }) ...text(layer, "sans", "hovered", { size: "xs" })
}, },
contact_status_free: indicator({ layer, color: "positive" }), contact_status_free: indicator({ layer, color: "positive" }),
contact_status_busy: indicator({ layer, color: "negative" }), contact_status_busy: indicator({ layer, color: "negative" }),
contact_username: { contact_username: {
...text(layer, "ui_sans", { size: "sm" }), ...text(layer, "sans", { size: "sm" }),
margin: { margin: {
left: NAME_MARGIN, left: NAME_MARGIN,
}, },
@ -347,7 +347,7 @@ export default function contacts_panel(): any {
color: foreground(layer, "on"), color: foreground(layer, "on"),
}, },
calling_indicator: { calling_indicator: {
...text(layer, "mono", "variant", { size: "xs" }), ...text(layer, "sans", "variant", { size: "xs" }),
}, },
tree_branch: toggleable({ tree_branch: toggleable({
base: interactive({ base: interactive({
@ -380,7 +380,7 @@ export default function contacts_panel(): any {
}, },
name: { name: {
...project_row.name, ...project_row.name,
...text(layer, "mono", { size: "sm" }), ...text(layer, "sans", { size: "sm" }),
}, },
}, },
state: { state: {

View file

@ -19,7 +19,7 @@ export default function context_menu(): any {
icon_width: 14, icon_width: 14,
padding: { left: 6, right: 6, top: 2, bottom: 2 }, padding: { left: 6, right: 6, top: 2, bottom: 2 },
corner_radius: 6, corner_radius: 6,
label: text(theme.middle, "ui_sans", { size: "sm" }), label: text(theme.middle, "sans", { size: "sm" }),
keystroke: { keystroke: {
...text(theme.middle, "sans", "variant", { ...text(theme.middle, "sans", "variant", {
size: "sm", size: "sm",