Delyan Angelov 6adafbb6ea term: add a separate term.set_tab_title/1 API for controling the current tab title in emulators like Konsole, that support many tabs

2023-01-14 12:00:39 +02:00

3.3 KiB

Raw Blame History

View Raw