Feature Request: Rename tabs
gnome-terminal lets you double-click a tab and quickly assign it a new display name, making it easier to distinguish between multiple tabs. I often keep at least 3 tabs open all the time, one for docker logs (renamed as "logs"), other for git (renamed as "git") and another for database access (renamed as "db").
Edited by Douglas