mirrors/dolphin
0
0
Fork 0
mirror of https://github.com/dolphin-emu/dolphin.git synced 2025-04-27 23:08:47 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge pull request #7437 from stenzek/graphics-options-race

Browse source 
Fix race condition caused by opening graphics options while running
This commit is contained in:
Mat M 2018-10-12 10:29:28 -04:00 • committed by GitHub
commit ecd4897d43
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
15 changed files with 29 additions and 48 deletions
Download patch file Download diff file Expand all files Collapse all files

4
Source/Android/jni/MainAndroid.cpp
View file

@ -127,10 +127,6 @@ bool Host_RendererIsFullscreen()
return false;
}
void Host_ShowVideoConfig(void*, const std::string&)
{
}
void Host_YieldToUI()
{
}