djkato/egui
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

heading and fix growing window

Browse source
This commit is contained in:
René Rössler 2021-12-17 17:47:58 +01:00
parent 23bcb81eed
commit 84a3c1813f
1 changed files with 9 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
egui_demo_lib/src/apps/demo/table_demo.rs
View file

@ -1,3 +1,4 @@
use egui::RichText;
use egui_dynamic_grid::{Padding, Size, TableBuilder}; use egui_dynamic_grid::{Padding, Size, TableBuilder};
/// Shows off a table with dynamic layout /// Shows off a table with dynamic layout
@ -24,25 +25,26 @@ impl super::Demo for TableDemo {
impl super::View for TableDemo { impl super::View for TableDemo {
fn ui(&mut self, ui: &mut egui::Ui) { 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) .striped(true)
.column(Size::Absolute(100.0)) .column(Size::Absolute(100.0))
.column(Size::RemainderMinimum(150.0)) .column(Size::RemainderMinimum(150.0))
.column(Size::Absolute(50.0)) .column(Size::Absolute(50.0))
.header(50.0, |mut header| { .header(20.0, |mut header| {
header.col(|ui| { header.col(|ui| {
ui.label("Left"); ui.label(RichText::new("Left").heading());
}); });
header.col(|ui| { header.col(|ui| {
ui.label("Middle"); ui.label(RichText::new("Middle").heading());
}); });
header.col(|ui| { header.col(|ui| {
ui.label("Right"); ui.label(RichText::new("Right").heading());
}); });
}) })
.body(|mut body| { .body(|mut body| {
for i in 1..100 { for i in 0..100 {
body.row(40.0, |mut row| { body.row(20.0, |mut row| {
row.col(|ui| { row.col(|ui| {
ui.label(format!("{}", i)); ui.label(format!("{}", i));
}); });