/* Initialize specifier variables (dump-time only). */
void specifier_vars_of_glyphs (void);
+void specifier_vars_of_glyphs_widget (void);
void specifier_vars_of_gutter (void);
void specifier_vars_of_menubar (void);
void specifier_vars_of_redisplay (void);