gamgi_gtk_help_dialog.c (gamgi-all-0.17.4x) | : | gamgi_gtk_help_dialog.c (gamgi-all-0.17.5x) | ||
---|---|---|---|---|
skipping to change at line 189 | skipping to change at line 189 | |||
GtkWidget *notebook; | GtkWidget *notebook; | |||
GtkWidget *vbox_dialog, *vbox_page; | GtkWidget *vbox_dialog, *vbox_page; | |||
GtkWidget *text; | GtkWidget *text; | |||
char fullname[GAMGI_IO_FULLNAME]; | char fullname[GAMGI_IO_FULLNAME]; | |||
char token[GAMGI_ENGINE_TOKEN]; | char token[GAMGI_ENGINE_TOKEN]; | |||
char *shortname; | char *shortname; | |||
va_list list; | va_list list; | |||
char *source, *name; | char *source, *name; | |||
int i; | int i; | |||
/*********************************************** | ||||
* The allowed values are: * | ||||
* if (n_pages == 0) page = 0; * | ||||
* if (n_pages == N && N > 0) page = 1,..., N; * | ||||
***********************************************/ | ||||
if (page > n_pages) page = n_pages; | ||||
if (page == 0 && n_pages > 0) page = 1; | ||||
/**************************** | /**************************** | |||
* get documentation source * | * get documentation source * | |||
****************************/ | ****************************/ | |||
source = static_source (window); | source = static_source (window); | |||
if (source == NULL) return FALSE; | if (source == NULL) return FALSE; | |||
if (gamgi->help->agent_in == FALSE) | if (gamgi->help->agent_in == FALSE) | |||
{ | { | |||
/***************************** | /***************************** | |||
End of changes. 1 change blocks. | ||||
0 lines changed or deleted | 9 lines changed or added |