lirios/terminal

Set terminal title

Closed this issue · 0 comments

plfiorini commented

Users should be able to rename a terminal.