most recent changes, diff for gnome-terminal

Index: gnome/gnome-terminal/Portfile --- gnome/gnome-terminal/Portfile (revision 37483) +++ gnome/gnome-terminal/Portfile (revision 37484) @@ -82,6 +82,7 @@ post-activate { system "${prefix}/bin/scrollkeeper-update" + system "${prefix}/bin/update-desktop-database -q ${prefix}/share/applications; true" if { [file exists ${storagefile} ] } { set fh [open ${storagefile} r] while { ! [eof $fh] } {