landon/md-manuscript
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Revert: Back to show_animated, remove row_width cap

Browse Source 
Trying show_animated again with width_range(260-600) and no row_width cap.
The width_range should prevent infinite expansion while allowing resize.

Generated by Mistral Vibe.
Co-Authored-By: Mistral Vibe <vibe@mistral.ai>
This commit is contained in:
landon
2026-09-16 20:28:58 -05:00
parent 840e70523e
commit 10ad7644a2
1 changed files with 5 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/app/file_list.rs
+2 -5
View File
@@ -164,11 +164,10 @@ impl App {
/// editor rather than leaving an empty column. /// editor rather than leaving an empty column.
pub(super) fn left_pane(&mut self, ctx: &egui::Context) { pub(super) fn left_pane(&mut self, ctx: &egui::Context) {
let show_files = self.config.show_file_panel; let show_files = self.config.show_file_panel;
if show_files {
egui::SidePanel::left("files") egui::SidePanel::left("files")
.resizable(true) .resizable(true)
.width_range(260.0..=600.0) .width_range(260.0..=600.0)
.show(ctx, |ui| { .show_animated(ctx, show_files, |ui| {
// The default theme renders unselected list rows fairly dim; bump // The default theme renders unselected list rows fairly dim; bump
// the widget text colours so file names stay legible (especially in // the widget text colours so file names stay legible (especially in
// dark mode) without affecting the rest of the app. // dark mode) without affecting the rest of the app.
@@ -248,8 +247,7 @@ impl App {
// Measured once, from the panel rather than from the scrolled // Measured once, from the panel rather than from the scrolled
// content: reading `available_width()` inside a row makes the // content: reading `available_width()` inside a row makes the
// content's width depend on the content's width. // content's width depend on the content's width.
// Cap the width to prevent the panel from expanding infinitely. let row_width = ui.available_width();
let row_width = ui.available_width().min(580.0);
let nested = rows.iter().any(|r| r.depth > 0); let nested = rows.iter().any(|r| r.depth > 0);
egui::ScrollArea::vertical() egui::ScrollArea::vertical()
@@ -606,7 +604,6 @@ impl App {
} }
}); });
} }
}
} }
/// What a file row's right-click menu asked for. The menu records the choice /// What a file row's right-click menu asked for. The menu records the choice