dimmed = ((gtk_text_buffer_get_char_count (to_buffer) +
gtk_text_buffer_get_char_count (cc_buffer) +
gtk_text_buffer_get_char_count (bcc_buffer)) == 0);
dimmed = ((gtk_text_buffer_get_char_count (to_buffer) +
gtk_text_buffer_get_char_count (cc_buffer) +
gtk_text_buffer_get_char_count (bcc_buffer)) == 0);