MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-02-04 23:39:07 +07:00
Code Issues Packages Projects Releases Wiki Activity

[terminal] API cleanup: remove unused deprecated API (IJPL-503)

Browse Source 
GitOrigin-RevId: 179ef8e5cd46fc5d4534c9d588e897ab6d65ae56
This commit is contained in:
Nikolay Chashnikov
2024-05-10 10:31:42 +02:00
committed by intellij-monorepo-bot
parent b56617086f
commit 760943daec
1 changed files with 0 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
plugins/terminal/src/org/jetbrains/plugins/terminal/cloud/TerminalHandlerImpl.java
View File

@@ -17,18 +17,6 @@ public final class TerminalHandlerImpl extends TerminalHandlerBase {
private final TerminalWidget myTerminalWidget;
/**
* @deprecated use {@link TerminalHandlerImpl#TerminalHandlerImpl(String, Project, InputStream, OutputStream)} instead
*/
@Deprecated(forRemoval = true)
public TerminalHandlerImpl(@NotNull String presentableName,
@NotNull Project project,
@NotNull InputStream terminalOutput,
@NotNull OutputStream terminalInput,
@SuppressWarnings("unused") boolean deferTerminalSessionUntilFirstShown) {
this(presentableName, project, terminalOutput, terminalInput);
}
public TerminalHandlerImpl(@NotNull String presentableName,
@NotNull Project project,
@NotNull InputStream terminalOutput,