commit 194fa6864143753403672f4c401d7bf8378ec4c6
parent a95bc6ad5eb3625f3867bc0eb2aeb282d9529bdf
Author: William Casarin <jb55@jb55.com>
Date: Mon, 10 Feb 2025 16:08:19 -0800
profilesearch: add some padding
Signed-off-by: William Casarin <jb55@jb55.com>
Diffstat:
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/crates/notedeck_columns/src/ui/search_results.rs b/crates/notedeck_columns/src/ui/search_results.rs
@@ -65,6 +65,7 @@ impl<'a> SearchResultsView<'a> {
.show(ui.ctx(), |ui| {
egui::Frame::none()
.fill(ui.visuals().panel_fill)
+ .inner_margin(8.0)
.show(ui, |ui| {
let width = rect.width();
let scroll_resp = ScrollArea::vertical()