Terminal 0.2.4 released

[Bob Snyder]

Benedikt Meurer wrote:

> Bob Snyder wrote:
>
>>> Can you please build Terminal with --enable-debug=full, redo the 
>>> steps and post the backtrace here.
>>
>>
>> Here it is:
>
>
> Hm, looks like Gtk does not return a valid menu item from 
> gtk_ui_manager_get_widget() for you. Do you have a customized 
> Terminal.ui in ~/.local/share/Terminal/? If so please remove it and 
> try again. If that doesn't fix the problem, open terminal-window.c in 
> your favourite text editor, go to line 933 and replace
>
>  if (G_LIKELY (item != NULL))
>
> with
>
>  if (G_LIKELY (item != NULL && GTK_IS_MENU_ITEM (item)))
>
> that should fix the problem.
>
>> Bob S.
>
>
> thanks,
> Benedikt 


I didn't have the Terminal.ui file so I made the suggested change to 
terminal-window.c. I am happy to report that this has solved the problem.

Thanks Benedikt,

Bob S.