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

On Sun, 16 Aug 2015 17:39:30 +0200 Andreas Henriksson wrote: > On Sun, Aug 16, 2015 at 03:21:22PM +0300, Vlad Orlov wrote: > > Hi, > [...] > > Or even better: update GTK+3 in Jessie to the latest 3.14.x bugfix release. > > I'd agree that all bugfix releases for all of gnome should be shipped,

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

Hello Vlad Orlov. On Sun, Aug 16, 2015 at 03:21:22PM +0300, Vlad Orlov wrote: > Hi, [...] > Or even better: update GTK+3 in Jessie to the latest 3.14.x bugfix release. I'd agree that all bugfix releases for all of gnome should be shipped, unfortunately the decision is not up to me. If you want to

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

Hi, This is also backported into 3.14 branch upstream [1] and is included in 3.14.14 release. So, backporting to Jessie should be trivial I think. Or even better: update GTK+3 in Jessie to the latest 3.14.x bugfix release. [1] https://git.gnome.org/browse/gtk+/commit/?h=gtk-3-14&id=d8e880f7f1

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

Control: forwarded -1 https://bugzilla.gnome.org/show_bug.cgi?id=750211 I've reported the bug upstream, in case this is an upstream bug. -- Vincent Lefèvre - Web: 100% accessible validated (X)HTML - Blog: Work: CR INRIA - computer arithme

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

Control: retitle -1 libgtk-3-0: 2nd search for font in the font chooser yields a large stack depth and crash With the following[*]: ypig:~> gdb --args /usr/lib/gnome-terminal/gnome-terminal-server --app-id my.foo.Terminal (gdb) run ypig:~> gnome-terminal --app-id my.foo.Terminal [*] https://w

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

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 termi

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

Control: severity -1 important Control: tags -1 + moreinfo unreproducible Am 17.05.2014 um 15:37 schrieb 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 Ter

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

Control: found -1 3.14.5-1 Control: severity -1 grave because the data in the current terminal sessions are lost and this crash occurs often when I want to change the font. -- Vincent Lefèvre - Web: 100% accessible validated (X)HTML - Blog:

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

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 ter