ShuriZma
/
dolphin
mirror of https://github.com/dolphin-emu/dolphin.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #8353 from Ebola16/GID 

Android: Add GameID to Game Settings title
This commit is contained in:
Mat M 2019-09-07 10:01:28 -04:00 committed by GitHub
parent a9745400ec 817fe9b799
commit 40fc25b06d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Source/Android/app/src/main/java/org/dolphinemu/dolphinemu/dialogs/GameSettingsDialog.java
View File

@ -40,7 +40,7 @@ public class GameSettingsDialog extends DialogFragment
String gameId = getArguments().getString(ARG_GAMEID); String gameId = getArguments().getString(ARG_GAMEID);
int platform = getArguments().getInt(ARG_PLATFORM); int platform = getArguments().getInt(ARG_PLATFORM);
builder.setTitle(getActivity().getString(R.string.preferences_game_settings)) builder.setTitle(getActivity().getString(R.string.preferences_game_settings) + ": " + gameId)
.setItems(platform == Platform.GAMECUBE.toInt() ? .setItems(platform == Platform.GAMECUBE.toInt() ?
R.array.gameSettingsMenusGC : R.array.gameSettingsMenusGC :
R.array.gameSettingsMenusWii, (dialog, which) -> R.array.gameSettingsMenusWii, (dialog, which) ->