improvement: Add Terminal Tab Tailor plugin Settings menu to the drop-down on the right hand side of the terminal tabs. - Githubissues

romaindalichamp / TerminalTabTailor

Intellij Plugin to rename automatically the tabs

https://plugins.jetbrains.com/plugin/23903-terminal-tab-tailor

Apache License 2.0

9 stars 0 forks source link

improvement: Add Terminal Tab Tailor plugin Settings menu to the drop-down on the right hand side of the terminal tabs. #19

Closed romaindalichamp closed 8 months ago