search

lirios / terminal

:rocket: Terminal
GNU General Public License v3.0
29 stars 3 forks source link

Set terminal title #31

Closed plfiorini closed 5 years ago

plfiorini commented 6 years ago

Users should be able to rename a terminal.