archive-gh-me/wgpu
1
0
Fork 0
mirror of https://github.com/gfx-rs/wgpu.git synced 2025-12-08 21:26:17 +00:00
Code Issues Projects Releases Wiki Activity

Merge #30

Browse Source 
30: Fix TextureId r=kvark a=Michael-Lfx



Co-authored-by: Michael-Lai fx <cihv2@163.com>
This commit is contained in:
bors[bot] 2018-11-12 13:53:43 +00:00
commit c440791ab2
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
wgpu-native/src/device.rs
View File

@ -349,7 +349,7 @@ pub extern "C" fn wgpu_texture_create_default_texture_view(
#[no_mangle]
pub extern "C" fn wgpu_texture_destroy(
texture_id: DeviceId,
texture_id: TextureId,
) {
let texture_guard = HUB.textures.lock();
let texture = texture_guard.get(texture_id);