Use the default script's onTextDeleted callback for gnome-terminal