improvements: user-friendly hotkey label in warning dialog
improvements: possibility to copy terminal name
improvements: possibility to search in tab titles