mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Find in terminal (IDEA-117485)
This commit is contained in:
Binary file not shown.
@@ -3,6 +3,7 @@ package org.jetbrains.plugins.terminal;
|
||||
import com.intellij.openapi.Disposable;
|
||||
import com.intellij.openapi.util.Disposer;
|
||||
import com.intellij.openapi.wm.impl.IdeBackgroundUtil;
|
||||
import com.intellij.ui.SearchTextField;
|
||||
import com.intellij.ui.components.JBScrollBar;
|
||||
import com.jediterm.terminal.TerminalStarter;
|
||||
import com.jediterm.terminal.TtyConnector;
|
||||
@@ -14,7 +15,9 @@ import com.jediterm.terminal.ui.settings.SettingsProvider;
|
||||
import org.jetbrains.annotations.NotNull;
|
||||
|
||||
import javax.swing.*;
|
||||
import javax.swing.event.DocumentListener;
|
||||
import java.awt.*;
|
||||
import java.awt.event.KeyListener;
|
||||
|
||||
public class JBTerminalWidget extends JediTermWidget implements Disposable{
|
||||
|
||||
@@ -53,4 +56,31 @@ public class JBTerminalWidget extends JediTermWidget implements Disposable{
|
||||
@Override
|
||||
public void dispose() {
|
||||
}
|
||||
|
||||
@Override
|
||||
protected SearchComponent createSearchComponent() {
|
||||
return new SearchComponent() {
|
||||
private final SearchTextField myTextField = new SearchTextField(false);
|
||||
@Override
|
||||
public String getText() {
|
||||
return myTextField.getText();
|
||||
}
|
||||
|
||||
@Override
|
||||
public JComponent getComponent() {
|
||||
myTextField.setOpaque(false);
|
||||
return myTextField;
|
||||
}
|
||||
|
||||
@Override
|
||||
public void addDocumentChangeListener(DocumentListener listener) {
|
||||
myTextField.addDocumentListener(listener);
|
||||
}
|
||||
|
||||
@Override
|
||||
public void addKeyListener(KeyListener listener) {
|
||||
myTextField.addKeyboardListener(listener);
|
||||
}
|
||||
};
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user