// ============================================================================
void InitProgramInfo(char *argv0, char *config_filename, char *userdata_subdir,
- char *program_title, char *icon_title,
+ char *program_title,
char *icon_filename, char *cookie_prefix,
char *program_version_string, int program_version)
{
program.program_title = program_title;
program.window_title = "(undefined)";
- program.icon_title = icon_title;
program.icon_filename = icon_filename;
char *program_title;
char *window_title;
- char *icon_title;
char *icon_filename;
// function definitions
-void InitProgramInfo(char *, char *, char *, char *, char *, char *, char *,
+void InitProgramInfo(char *, char *, char *, char *, char *, char *,
char *, int);
void InitNetworkInfo(boolean, boolean, boolean, char *, int);
void InitRuntimeInfo(void);