mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Clean-up
This commit is contained in:
@@ -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<JBTerminalWidget> 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;
|
||||
|
||||
Reference in New Issue
Block a user