kennethnym/novem
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

feat: tighten up toolbar spacing

Browse Source
This commit is contained in:
Kenneth
2026-05-13 17:35:07 +08:00
parent 2842640995
commit 6d8a7ae5b0
1 changed files with 5 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
src/screen/dashboard/pull_request_view.rs
View File

@@ -1,6 +1,6 @@
use gpui::{ use gpui::{
AppContext, InteractiveElement, IntoElement, ParentElement, StatefulInteractiveElement, Styled, AppContext, InteractiveElement, IntoElement, ParentElement, StatefulInteractiveElement, Styled,
div, img, prelude::FluentBuilder, div, img, point, prelude::FluentBuilder, px,
}; };
use crate::{ use crate::{
@@ -293,14 +293,14 @@ impl gpui::RenderOnce for Toolbar {
.flex_row() .flex_row()
.items_center() .items_center()
.justify_start() .justify_start()
.p_2() .p_1()
.bg(theme.colors.background) .bg(theme.colors.background)
.border_b_1() .border_b_1()
.border_color(theme.colors.border) .border_color(theme.colors.border)
.child( .child(
toolbar_button("pr-review-btn") toolbar_button("pr-review-btn")
.leading(font_icon(FontIcon::Eye)) .leading(font_icon(FontIcon::Eye))
.mr_2(), .mr_1(),
) )
.child( .child(
toolbar_button("pr-review-btn") toolbar_button("pr-review-btn")
@@ -308,16 +308,12 @@ impl gpui::RenderOnce for Toolbar {
.mr_2(), .mr_2(),
) )
.child(divider().bg(theme.colors.border).mr_2()) .child(divider().bg(theme.colors.border).mr_2())
.child( .child(toolbar_button("pr-review-btn").leading(font_icon(FontIcon::Star)))
toolbar_button("pr-review-btn")
.leading(font_icon(FontIcon::Star))
.mr_2(),
)
.child(div().flex_1()) .child(div().flex_1())
.child( .child(
toolbar_button("pr-close-btn") toolbar_button("pr-close-btn")
.leading(font_icon(FontIcon::PullRequestClosed)) .leading(font_icon(FontIcon::PullRequestClosed))
.mr_2(), .mr_1(),
) )
.child( .child(
toolbar_button("pr-merge-btn") toolbar_button("pr-merge-btn")