djkato/egui
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Silence nightly clippy

Browse source
This commit is contained in:
Emil Ernerfeldt 2021-09-05 10:19:28 +02:00
parent 391bec1170
commit acf9d0114d
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
egui_web/src/webgl1.rs
View file

@ -64,6 +64,7 @@ impl WebGlPainter {
let srgb_supported = matches!(gl.get_extension("EXT_sRGB"), Ok(Some(_))); let srgb_supported = matches!(gl.get_extension("EXT_sRGB"), Ok(Some(_)));
#[allow(clippy::branches_sharing_code)]
let (texture_format, program, post_process) = if srgb_supported { let (texture_format, program, post_process) = if srgb_supported {
let vert_shader = compile_shader( let vert_shader = compile_shader(
&gl, &gl,