1
0
mirror of https://github.com/emilk/egui.git synced 2026-08-31 13:50:04 -04:00

Minor cleanup around desired_rect

This commit is contained in:
Emil Ernerfeldt
2020-05-05 19:08:59 +02:00
parent fade508c15
commit 9d1cf77aa7
2 changed files with 4 additions and 12 deletions

View File

@@ -185,7 +185,7 @@ impl GuiInput {
region.add(label!("scroll_delta: {:?}", self.scroll_delta));
region.add(label!("screen_size: {:?}", self.screen_size));
region.add(label!("pixels_per_point: {}", self.pixels_per_point));
region.add(label!("time: {}", self.time));
region.add(label!("time: {:.3} s", self.time));
region.add(label!("events: {:?}", self.events));
region.add(label!("dropped_files: {:?}", self.dropped_files));
region.add(label!("hovered_files: {:?}", self.hovered_files));