1
0
mirror of https://github.com/emilk/egui.git synced 2026-06-26 22:53:14 -04:00

Various small improvements

This commit is contained in:
Emil Ernerfeldt
2020-04-21 20:48:31 +02:00
parent a56a869f48
commit 4efbb94e1b
8 changed files with 60 additions and 36 deletions

View File

@@ -59,7 +59,7 @@ impl State {
region.set_align(Align::Min);
region.add_label("WebGl painter info:");
region.indent(Id::new(&"webgl region"), |region| {
region.indent(Id::new("webgl region"), |region| {
region.add_label(self.webgl_painter.debug_info());
});