+
+ /* determine filename for initial font (for displaying startup messages) */
+ for (i=0; image_config[i].token != NULL; i++)
+ if (strcmp(image_config[i].token, config_token_font_initial) == 0)
+ filename_font_initial = image_config[i].value;
+
+ if (filename_font_initial == NULL) /* should not happen */
+ Error(ERR_EXIT, "cannot get filename for '%s'", config_token_font_initial);