Terminal 0.2.4 released

[Benedikt Meurer]

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