g_option_group_set_translation_domain 668 src/args.c g_option_group_set_translation_domain (main_group, translation_domain); g_option_group_set_translation_domain 675 src/args.c g_option_group_set_translation_domain (terminal_group, translation_domain); g_option_group_set_translation_domain 681 src/args.c g_option_group_set_translation_domain (color_group, translation_domain);