intro_append_syntax (const struct intro_page *p, struct string *s)
{
if (gtk_toggle_button_get_active (GTK_TOGGLE_BUTTON (p->n_cases_button)))
intro_append_syntax (const struct intro_page *p, struct string *s)
{
if (gtk_toggle_button_get_active (GTK_TOGGLE_BUTTON (p->n_cases_button)))