← Back to branch summary

~ubuntu-branches/debian/sid/gnome-terminal/sid

« back to all changes in this revision

Viewing changes to src/profile-editor.c

  • Committer: Package Import Robot
  • Author(s): Josselin Mouette
  • Date: 2011-11-20 00:25:02 UTC
  • mfrom: (10.1.6 experimental)
  • Revision ID: package-import@ubuntu.com-20111120002502-tyyp0w702juf779c
Tags: 3.2.1-2
Reintroduce gtk2 build-dependency, it’s required for 
gtk-builder-convert.

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/profile-editor.c
549
549
                    NULL);
550
550
}
551
551
 
 
552
#if GTK_CHECK_VERSION (3, 1, 19)
 
553
static gboolean
 
554
font_family_is_monospace (const PangoFontFamily *family,
 
555
                          const PangoFontFace   *face,
 
556
                          gpointer               data)
 
557
{
 
558
  return pango_font_family_is_monospace ((PangoFontFamily *) family);
 
559
}
 
560
 
 
561
#endif
552
562
 
553
563
static void
554
564
editor_response_cb (GtkWidget *editor,
872
882
                    G_CALLBACK (reset_compat_defaults_cb),
873
883
                    profile);
874
884
 
 
885
#if GTK_CHECK_VERSION (3, 1, 19)
 
886
  gtk_font_chooser_set_filter_func (GTK_FONT_CHOOSER (gtk_builder_get_object (builder, "font-selector")),
 
887
                                    font_family_is_monospace, NULL, NULL);
 
888
#endif
 
889
 
875
890
  SET_ENUM_VALUE ("image-radiobutton", TERMINAL_BACKGROUND_IMAGE);
876
891
  SET_ENUM_VALUE ("solid-radiobutton", TERMINAL_BACKGROUND_SOLID);
877
892
  SET_ENUM_VALUE ("transparent-radiobutton", TERMINAL_BACKGROUND_TRANSPARENT);