MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

terminal: deprecate JBTerminalSystemSettingsProvider.tabName

Browse Source 
GitOrigin-RevId: 73d412cd83705c759ffe1f04111951c3e1f6cc9a
This commit is contained in:
Sergey Simonchik
2021-12-08 12:57:43 +00:00
committed by intellij-monorepo-bot
parent 2bffa4ad9f
commit 7ee7dc51d0
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalSystemSettingsProvider.java
+4
View File
@@ -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) {