migrations/egui
1
0
Fork 0
mirror of https://github.com/emilk/egui.git synced 2026-09-01 06:10:06 -04:00
Code Activity

Rename Egui to egui

Browse Source 
Also update iamges in README.md
This commit is contained in:
Emil Ernerfeldt
2021-01-17 14:48:59 +01:00
parent 9dba63fa3f
commit 31b7eda51e
55 changed files with 173 additions and 172 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
egui_glium/src/backend.rs
View File

@@ -284,7 +284,7 @@ pub fn run(mut app: Box<dyn epi::App>) -> ! {
glutin::event::Event::WindowEvent { event, .. } => {
input_to_egui(event, clipboard.as_mut(), &mut input_state, control_flow);
display.gl_window().window().request_redraw(); // TODO: ask Egui if the events warrants a repaint instead
display.gl_window().window().request_redraw(); // TODO: ask egui if the events warrants a repaint instead
}
glutin::event::Event::LoopDestroyed => {
app.on_exit();