On 24 June 2014 23:03, Sébastien Granjoux <seb....@free.fr> wrote: > I think you hit this bug: > https://bugzilla.gnome.org/show_bug.cgi?id=728295 > > This can be considered as a bug, it has been fixed but in the master branch > only. To be short, you miss a recent version of gnome-terminal. > > By the way for such question, it could be better to ask on anjuta mailing > list anjuta-l...@gnome.org.
Oh! My bad! I thought I was posting this to anjuta ML only. (Case of sleepless nights) Anyways, thanks for replying. -- Gurjot Singh Blog: http://bhattigurjot.wordpress.com "You gotta get hurt 'cause that's how you'll learn, You gotta try your hardest no matter how much you'll burn." ~ Scott Singh _______________________________________________ gtkmm-list mailing list gtkmm-list@gnome.org https://mail.gnome.org/mailman/listinfo/gtkmm-list
