diff options
author | Gregory Terzian <gterzian@users.noreply.github.com> | 2020-06-15 21:02:36 +0800 |
---|---|---|
committer | Gregory Terzian <gterzian@users.noreply.github.com> | 2020-06-17 13:47:13 +0800 |
commit | 59896748b5b646ec9d807e4a205cfcb3215a2108 (patch) | |
tree | 3f9bf271537ef0b9af4052b18e764cf252501434 /components/script/layout_image.rs | |
parent | 581ade575e22a9266fc7b28e45a55aadf725606e (diff) | |
download | servo-59896748b5b646ec9d807e4a205cfcb3215a2108.tar.gz servo-59896748b5b646ec9d807e4a205cfcb3215a2108.zip |
blockingly shut-down webrender when exiting webgl_thread
Diffstat (limited to 'components/script/layout_image.rs')
0 files changed, 0 insertions, 0 deletions