1
0
mirror of https://github.com/emilk/egui.git synced 2026-08-30 05:10:03 -04:00

small fixes

This commit is contained in:
Emil Ernerfeldt
2020-05-20 21:31:34 +02:00
parent e98896aa58
commit c0f9c5f7e1
2 changed files with 2 additions and 2 deletions

View File

@@ -132,7 +132,6 @@ fn show_menu_bar(ui: &mut Ui, windows: &mut OpenWindows) {
});
menu::menu(ui, "Windows", |ui| {
ui.add(Checkbox::new(&mut windows.examples, "Examples"));
ui.add(Checkbox::new(&mut windows.examples, "Examples Trees"));
ui.add(Checkbox::new(&mut windows.fractal_clock, "Fractal Clock"));
ui.add(Separator::new());
ui.add(Checkbox::new(&mut windows.settings, "Settings"));