keep external identifiers under 31 characters length

2023-05-13 13:49:57 -04:00
parent a54b6ba75c
commit ec9d3cb88e
16 changed files with 18 additions and 18 deletions
@@ -331,7 +331,7 @@ activation.
     value that the platform's main() may have placed there earlier
     via its own call to assign_soundlib()]

-    2. init_sound_and_display_gamewindows()
+    2. init_sound_disp_gamewindows()
           ->  activate_chosen_soundlib() is called prior to
               displaying the game windows.