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

Clean up run.rs

This commit is contained in:
Emil Ernerfeldt
2023-11-12 15:02:50 +01:00
parent de6c250c9d
commit 9eda6f6897
7 changed files with 101 additions and 95 deletions

View File

@@ -482,8 +482,7 @@ impl Painter {
let output_frame = match output_frame {
Ok(frame) => frame,
#[allow(clippy::single_match_else)]
Err(e) => match (*self.configuration.on_surface_error)(e) {
Err(err) => match (*self.configuration.on_surface_error)(err) {
SurfaceErrorAction::RecreateSurface => {
Self::configure_surface(
surface_state,