Bug#409268: gnome-terminal: Editing Profile window disappears once on two

Tue Feb 18 11:25:17 UTC 2014

On 2014-02-17 17:23:25 +0000, althaser wrote:
> Couldn't you reproduce this bug with newer version of gnome-terminal
> like 3.4.1.1-2 or 3.10.1-1 right ?

I can't reproduce this bug with gnome-terminal 3.10.1-1 (unstable).
I can't reproduce it either with gnome-terminal 2.30.2-1 on an old
Debian machine.

-- 
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)