Rename GameId::GAKUEN to GameId::GAKUEN_SENKI

To clearly distinguish it from Gakuen KING. The game id remains `gakuen`
for backward compatibility.
This commit is contained in:
kichikuou
2026-08-29 07:09:54 +09:00
parent e2afd77ec9
commit 4e10e37444
8 changed files with 16 additions and 16 deletions
+2 -2
View File
@@ -40,7 +40,7 @@ SDL_Texture* create_scanline_texture(SDL_Renderer* renderer, int width, int heig
AGS::AGS(const Config& config, const GameId& game_id) : game_id(game_id)
{
// 画面サイズ
if (game_id.is(GameId::GAKUEN)) {
if (game_id.is(GameId::GAKUEN_SENKI)) {
window_width = 582;
screen_width = 512;
window_height = screen_height = 424;
@@ -481,7 +481,7 @@ bool AGS::save_screenshot(const char* path)
int AGS::calculate_menu_max(int window) {
if (game_id.is(GameId::INTRUDER))
return 6;
if (game_id.is(GameId::GAKUEN))
if (game_id.is(GameId::GAKUEN_SENKI))
return (menu_w[window - 1].ey - menu_w[window - 1].sy) / (menu.font_size + 4);
return 11;
}