blob: 0af8f9c16108399c3fc72074f058f8f799db8877 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
|
package cuchaz.enigma.gui;
import java.awt.Component;
import java.awt.Container;
import java.awt.Point;
import java.awt.event.KeyAdapter;
import java.awt.event.KeyEvent;
import java.util.stream.IntStream;
import java.util.stream.Stream;
import javax.swing.JButton;
import javax.swing.JTextField;
import javax.swing.JToolBar;
import javax.swing.SwingUtilities;
import javax.swing.text.JTextComponent;
import de.sciss.syntaxpane.actions.DocumentSearchData;
import de.sciss.syntaxpane.actions.gui.QuickFindDialog;
public class EnigmaQuickFindDialog extends QuickFindDialog {
public EnigmaQuickFindDialog(JTextComponent target) {
super(target, DocumentSearchData.getFromEditor(target));
JToolBar toolBar = getToolBar();
JTextField textField = getTextField(toolBar);
textField.addKeyListener(new KeyAdapter() {
@Override
public void keyPressed(KeyEvent e) {
super.keyPressed(e);
if (e.getKeyCode() == KeyEvent.VK_ENTER) {
JToolBar toolBar = getToolBar();
boolean next = !e.isShiftDown();
JButton button = next ? getNextButton(toolBar) : getPrevButton(toolBar);
button.doClick();
}
}
});
}
@Override
public void showFor(JTextComponent target) {
String selectedText = target.getSelectedText();
try {
super.showFor(target);
} catch (Exception e) {
e.printStackTrace();
return;
}
Container view = target.getParent();
Point loc = new Point(0, view.getHeight() - getSize().height);
setLocationRelativeTo(view);
SwingUtilities.convertPointToScreen(loc, view);
setLocation(loc);
JToolBar toolBar = getToolBar();
JTextField textField = getTextField(toolBar);
if (selectedText != null) {
textField.setText(selectedText);
}
textField.selectAll();
}
private JToolBar getToolBar() {
return components(getContentPane(), JToolBar.class).findFirst().orElse(null);
}
private JTextField getTextField(JToolBar toolBar) {
return components(toolBar, JTextField.class).findFirst().orElse(null);
}
private JButton getNextButton(JToolBar toolBar) {
Stream<JButton> buttons = components(toolBar, JButton.class);
return buttons.skip(1).findFirst().orElse(null);
}
private JButton getPrevButton(JToolBar toolBar) {
Stream<JButton> buttons = components(toolBar, JButton.class);
return buttons.findFirst().orElse(null);
}
private static Stream<Component> components(Container container) {
return IntStream.range(0, container.getComponentCount()).mapToObj(container::getComponent);
}
private static <T extends Component> Stream<T> components(Container container, Class<T> type) {
return components(container).filter(type::isInstance).map(type::cast);
}
}
|
