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

agent: Increase message editor height (#28618)

Browse source 
It was too tiny, felt like we could use more breathing room.

Release Notes:

- N/A
This commit is contained in:
Danilo Leal 2025-04-11 22:05:11 -03:00 • committed by GitHub
parent fb78cbbd45
commit 8ffa58414d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 29 additions and 24 deletions
Download patch file Download diff file Expand all files Collapse all files

53
crates/agent/src/message_editor.rs
View file

@ -56,7 +56,7 @@ pub struct MessageEditor {
_subscriptions: Vec<Subscription>, _subscriptions: Vec<Subscription>,
} }
const MAX_EDITOR_LINES: usize = 10; const MAX_EDITOR_LINES: usize = 3;
impl MessageEditor { impl MessageEditor {
pub fn new( pub fn new(
@ -424,31 +424,36 @@ impl MessageEditor {
.when(is_editor_expanded, |this| { .when(is_editor_expanded, |this| {
this.h(vh(0.8, window)).justify_between() this.h(vh(0.8, window)).justify_between()
}) })
.child(div().when(is_editor_expanded, |this| this.h_full()).child({ .child(
let settings = ThemeSettings::get_global(cx); div()
.min_h_16()
.when(is_editor_expanded, |this| this.h_full())
.child({
let settings = ThemeSettings::get_global(cx);
let text_style = TextStyle { let text_style = TextStyle {
color: cx.theme().colors().text, color: cx.theme().colors().text,
font_family: settings.buffer_font.family.clone(), font_family: settings.buffer_font.family.clone(),
font_fallbacks: settings.buffer_font.fallbacks.clone(), font_fallbacks: settings.buffer_font.fallbacks.clone(),
font_features: settings.buffer_font.features.clone(), font_features: settings.buffer_font.features.clone(),
font_size: font_size.into(), font_size: font_size.into(),
line_height: line_height.into(), line_height: line_height.into(),
..Default::default() ..Default::default()
}; };
EditorElement::new( EditorElement::new(
&self.editor, &self.editor,
EditorStyle { EditorStyle {
background: editor_bg_color, background: editor_bg_color,
local_player: cx.theme().players().local(), local_player: cx.theme().players().local(),
text: text_style, text: text_style,
syntax: cx.theme().syntax().clone(), syntax: cx.theme().syntax().clone(),
..Default::default() ..Default::default()
}, },
) )
.into_any() .into_any()
})) }),
)
.child( .child(
h_flex() h_flex()
.flex_none() .flex_none()