1
0
mirror of https://github.com/emilk/egui.git synced 2026-09-02 06:40:06 -04:00

clippy fixes from 1.69.0

This commit is contained in:
Emil Ernerfeldt
2023-04-21 11:33:18 +02:00
parent 4d360f67a4
commit 4d357b0f02
17 changed files with 53 additions and 61 deletions

View File

@@ -206,7 +206,7 @@ impl TableDemo {
}
}
body.heterogeneous_rows(
(0..self.num_rows).into_iter().map(row_thickness),
(0..self.num_rows).map(row_thickness),
|row_index, mut row| {
row.col(|ui| {
ui.label(row_index.to_string());