Bug#748469: gnome-terminal: random crash when searching for some terminal font

[Vincent Lefevre]

Package: gnome-terminal
Version: 3.12.0-2
Severity: important

To reproduce the bug: Edit Profile Preferences, then click on the
font name to make the "Choose A Terminal Font" dialog appear. Then
select some font, and try to search for some other font with the
keyboard. Sometimes this makes the terminal crash (all the windows
disappear). I could make it crash 4 times in 15 minutes.

Unfortunately gnome-terminal doesn't leave a core dump, and as it
seems to fork, it is impossible to get gdb or strace information.

-- System Information:
Debian Release: jessie/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (500, 'testing'), (500, 'stable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 3.11-2-amd64 (SMP w/2 CPU cores)
Locale: LANG=POSIX, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages gnome-terminal depends on:
ii  dconf-gsettings-backend [gsettings-backend]  0.20.0-2
ii  gconf-service                                3.2.6-2
ii  gnome-terminal-data                          3.12.0-2
ii  gsettings-desktop-schemas                    3.8.2-2
ii  libatk1.0-0                                  2.12.0-1
ii  libc6                                        2.18-6
ii  libcairo-gobject2                            1.12.16-2
ii  libcairo2                                    1.12.16-2
ii  libdconf1                                    0.20.0-2
ii  libgconf-2-4                                 3.2.6-2
ii  libgdk-pixbuf2.0-0                           2.30.7-1
ii  libglib2.0-0                                 2.40.0-3
ii  libgtk-3-0                                   3.12.2-1
ii  libnautilus-extension1a                      3.8.2-3
ii  libpango-1.0-0                               1.36.3-1
ii  libpangocairo-1.0-0                          1.36.3-1
ii  libuuid1                                     2.20.1-5.7
ii  libvte-2.90-9                                1:0.36.2-1
ii  libx11-6                                     2:1.6.2-2

Versions of packages gnome-terminal recommends:
ii  dbus-x11  1.8.2-1
ii  gvfs      1.20.1-1+b1
ii  yelp      3.12.0-1

gnome-terminal suggests no packages.

-- no debconf information