hacking the terminal

[Dieter Plaetinck]

Hi,
after adding my own entries in Terminal.ui and recompiling there is no
difference in the Terminal menu.  I even tried removing an existing
entry, and this didn't help.  Here's what I changed:
http://bin.cakephp.org/view/1871221382

To compile I do ./autogen.sh && make && make install.  (in the
terminal directory) all goes without errors.

i've found this too:
http://library.gnome.org/devel/gtk/2.11/GtkUIManager.html and couldn't
find any restrictions I don't comply to.