I upgraded to Linux Mint 18; everything went well. I don't know if it was intentionally done like this or not, but the option Terminal -> Set Title
is no longer there, and the shortcut is no longer available. Why this change has been made, and how to fix it? I need to set terminal title, because it helps me navigate between tabs quickly.
-
Which terminal emulator are you using?– grochmalAug 15, 2016 at 20:09
Add a comment
|