Expand ScrollArea to full side panel width

SquareMan · SquareMan · commit f617a72584df · 2025-04-01T14:04:47.000-04:00
diff --git a/objdiff-gui/src/views/config.rs b/objdiff-gui/src/views/config.rs
@@ -298,6 +298,7 @@ pub fn config_ui(
         }
 
         egui::ScrollArea::both().show(ui, |ui| {
+            ui.set_width(ui.available_width());
             CollapsingHeader::new(RichText::new("🗀 Objects").font(FontId {
                 size: appearance.ui_font.size,
                 family: appearance.code_font.family.clone(),

Original file line number	Diff line number	Diff line change
`@@ -298,6 +298,7 @@ pub fn config_ui(`
`298`	`298`	`}`
`299`	`299`
`300`	`300`	`egui::ScrollArea::both().show(ui, \|ui\| {`
	`301`	`+ ui.set_width(ui.available_width());`
`301`	`302`	`CollapsingHeader::new(RichText::new("🗀 Objects").font(FontId {`
`302`	`303`	`size: appearance.ui_font.size,`
`303`	`304`	`family: appearance.code_font.family.clone(),`