diff --git a/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalSystemSettingsProvider.java b/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalSystemSettingsProvider.java index a6cf46e6121b..f471a3a68027 100644 --- a/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalSystemSettingsProvider.java +++ b/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalSystemSettingsProvider.java @@ -20,6 +20,10 @@ public class JBTerminalSystemSettingsProvider extends JBTerminalSystemSettingsPr return TerminalOptionsProvider.getInstance().closeSessionOnLogout(); } + /** + * @deprecated use {@link #getTabName(JBTerminalWidget)} instead + */ + @Deprecated @Override public String tabName(TtyConnector ttyConnector, String sessionName) { //for local terminal use name from settings if (ttyConnector instanceof PtyProcessTtyConnector) {