(ui: &mut egui::Ui)
| 70 | } |
| 71 | |
| 72 | fn top_bar(ui: &mut egui::Ui) { |
| 73 | egui::Panel::top("top_panel").show(ui, |ui| { |
| 74 | egui::MenuBar::new().ui(ui, |ui| { |
| 75 | egui::widgets::global_theme_preference_buttons(ui); |
| 76 | |
| 77 | ui.add_space(16.0); |
| 78 | ui.hyperlink_to(format!("{GITHUB} egui_plot on GitHub"), GITHUB_URL); |
| 79 | }); |
| 80 | }); |
| 81 | } |
| 82 | |
| 83 | fn thumbnails_panel(&mut self, ui: &mut egui::Ui, default_width: f32) { |
| 84 | egui::Panel::left("examples_panel") |