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

[Vincent Lefevre]

On 2014-05-17 15:37:22 +0200, Vincent Lefevre wrote:
> 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.

Here are the exact steps to reproduce on my machines:

1. Start gnome-terminal.
2. Menu "Edit" → "Profile Preferences".
3. Click on the font box to make the font selector appear.
4. Search for "droid".
5. Choose "Droid Sans Mono Regular".
6. Click on "Select".
7. Click on the font box to make the font selector appear.
8. Double-click on "droid".
9. Type "de" (this replaces "droid").

When "e" is typed, GNOME Terminal crashes.

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)