From 7ee7dc51d04d7ffa88084a22c220df5a0e3d2b94 Mon Sep 17 00:00:00 2001
From: Sergey Simonchik <sergey.simonchik@jetbrains.com>
Date: Wed, 8 Dec 2021 00:07:55 +0300
Subject: [PATCH] terminal: deprecate JBTerminalSystemSettingsProvider.tabName

GitOrigin-RevId: 73d412cd83705c759ffe1f04111951c3e1f6cc9a
---
 .../plugins/terminal/JBTerminalSystemSettingsProvider.java    | 4 ++++
 1 file changed, 4 insertions(+)

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) {