Add Terminal Tab Tailor settings to the drop down on the right 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

Add Terminal Tab Tailor settings to the drop down on the right of the terminal tabs #18

Closed romaindalichamp closed 8 months ago

romaindalichamp commented 8 months ago