I've updated the GNOME Terminal patch at http://bugzilla.gnome.org/show_bug.cgi?id=557593 to include preferences, documentation, and another option to also show a desktop notification.
Please try it if you are interested and let me know if you have any thoughts or suggestions.
I've updated the GNOME Terminal patch at http:// bugzilla. gnome.org/ show_bug. cgi?id= 557593 to include preferences, documentation, and another option to also show a desktop notification.
Please try it if you are interested and let me know if you have any thoughts or suggestions.