mirror of
https://github.com/ghostty-org/ghostty.git
synced 2026-05-18 03:00:23 +00:00
This is a better name because the tab label may not necessarily be an index (if a user binds some non-numeric key, for instance).
This is a better name because the tab label may not necessarily be an index (if a user binds some non-numeric key, for instance).