diff --git a/plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalView.java b/plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalView.java index 6708b75c535f..90448fd93209 100644 --- a/plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalView.java +++ b/plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalView.java @@ -57,14 +57,12 @@ import java.util.stream.Collectors; * @author traff */ public class TerminalView { - private final static String TERMINAL_FEATURE = "terminal"; public final static Key TERMINAL_WIDGET_KEY = new Key<>("TerminalWidget"); private ToolWindow myToolWindow; private final Project myProject; private final LocalTerminalDirectRunner myTerminalRunner; private TerminalDockContainer myDockContainer; - private int myNextTabNumber = 1; LocalTerminalDirectRunner getTerminalRunner() { return myTerminalRunner;