From 84a3c1813f25e6a5fa5b79cf7048e1d81ce3b388 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ren=C3=A9=20R=C3=B6ssler?= Date: Fri, 17 Dec 2021 17:47:58 +0100 Subject: [PATCH] heading and fix growing window --- egui_demo_lib/src/apps/demo/table_demo.rs | 16 +++++++++------- 1 file changed, 9 insertions(+), 7 deletions(-) diff --git a/egui_demo_lib/src/apps/demo/table_demo.rs b/egui_demo_lib/src/apps/demo/table_demo.rs index 8d1c2a12..6f24ac57 100644 --- a/egui_demo_lib/src/apps/demo/table_demo.rs +++ b/egui_demo_lib/src/apps/demo/table_demo.rs @@ -1,3 +1,4 @@ +use egui::RichText; use egui_dynamic_grid::{Padding, Size, TableBuilder}; /// Shows off a table with dynamic layout @@ -24,25 +25,26 @@ impl super::Demo for TableDemo { impl super::View for TableDemo { fn ui(&mut self, ui: &mut egui::Ui) { - TableBuilder::new(ui, Padding::new(2.0, 5.0)) + // TODO: Fix table as a padding smaller than 16 grows the window + TableBuilder::new(ui, Padding::new(3.0, 16.0)) .striped(true) .column(Size::Absolute(100.0)) .column(Size::RemainderMinimum(150.0)) .column(Size::Absolute(50.0)) - .header(50.0, |mut header| { + .header(20.0, |mut header| { header.col(|ui| { - ui.label("Left"); + ui.label(RichText::new("Left").heading()); }); header.col(|ui| { - ui.label("Middle"); + ui.label(RichText::new("Middle").heading()); }); header.col(|ui| { - ui.label("Right"); + ui.label(RichText::new("Right").heading()); }); }) .body(|mut body| { - for i in 1..100 { - body.row(40.0, |mut row| { + for i in 0..100 { + body.row(20.0, |mut row| { row.col(|ui| { ui.label(format!("{}", i)); });