Merge pull request #7801 from GerbilSoft/feature/Discord-PPCTitleChanged

Update Discord rich presence when the PPC title changes
This commit is contained in:
Léo Lam 2019-05-24 14:30:52 +02:00 committed by GitHub
commit 6eb7c525b2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
7 changed files with 31 additions and 0 deletions

View file

@ -155,6 +155,10 @@ void Host_UpdateProgressDialog(const char* caption, int position, int total)
{
}
void Host_TitleChanged()
{
}
static bool MsgAlert(const char* caption, const char* text, bool yes_no, MsgType /*style*/)
{
__android_log_print(ANDROID_LOG_ERROR, DOLPHIN_TAG, "%s:%s", caption, text);