g_option_group_set_translation_domain  643 src/args.c         g_option_group_set_translation_domain (main_group, translation_domain);
g_option_group_set_translation_domain  650 src/args.c         g_option_group_set_translation_domain (terminal_group, translation_domain);
g_option_group_set_translation_domain  656 src/args.c         g_option_group_set_translation_domain (color_group, translation_domain);