On 24 June 2014 23:03, Sébastien Granjoux <[email protected]> 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 [email protected].

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
[email protected]
https://mail.gnome.org/mailman/listinfo/gtkmm-list

Reply via email to