dan/gpui-component
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

inspector: Improve UI details (#1217)

Browse source
This commit is contained in:
Floyd Wang 2025-09-08 13:29:54 +08:00 committed by GitHub
parent 00dd457441
commit 5e302866ce
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 6 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
crates/ui/src/inspector.rs
View file

@ -481,6 +481,7 @@ fn render_inspector(
v_flex()
.id("inspector")
.font_family(".SystemUIFont")
.size_full()
.bg(cx.theme().background)
.border_l_1()
@ -508,7 +509,6 @@ fn render_inspector(
.selected(inspector.is_picking())
.small()
.ghost()
.cursor_pointer()
.on_click(cx.listener(|this, _, window, _| {
this.start_picking();
window.refresh();
@ -521,7 +521,6 @@ fn render_inspector(
.icon(IconName::Close)
.small()
.ghost()
.cursor_pointer()
.on_click(|_, window, cx| {
window.dispatch_action(Box::new(ToggleInspector), cx);
}),
@ -531,17 +530,19 @@ fn render_inspector(
v_flex()
.flex_1()
.p_3()
.gap_3()
.gap_y_3()
.text_sm()
.when_some(source_location, |this, source_location| {
this.child(
h_flex()
.gap_1()
.gap_x_2()
.text_sm()
.child(
Link::new("source-location")
.href(format!("file://{}", source_location))
.child(source_location.clone()),
.child(source_location.clone())
.flex_1()
.overflow_x_hidden(),
)
.child(Clipboard::new("copy-source-location").value(source_location)),
)