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
| public class TestDblClick {
public static void main(String[] args) {
JFrame frame = new JFrame("Exemple");
frame.setSize(Toolkit.getDefaultToolkit().getScreenSize());
frame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
JPanel panel = new JPanel();
frame.getContentPane().add(panel);
panel.setLayout(new BorderLayout());
final JTextArea field = new JTextArea("blah blah abc1_def5_gh blah\nxxxxx blah truc\nabc1_def5_gh\nblah blah");
panel.add(field, BorderLayout.CENTER);
field.addMouseListener(new MouseAdapter() {
public void mouseClicked(MouseEvent e) {
if( e.getClickCount()==2 ) {
String text=field.getText();
int selectionStart = field.getSelectionStart();
int selectionEnd = field.getSelectionEnd();
int start = lookforWhiteSpaceBefore(text,selectionStart);
if ( start<0 ) {
start=0;
}
else {
start++; // ignorer l'espace
}
int end = lookforWhiteSpaceAfter(text,selectionEnd);
if ( end<0 ) {
end=field.getText().length()-1;
}
if( start<selectionStart || end >selectionEnd ) {
field.setSelectionStart(start);
field.setSelectionEnd(end);
}
}
}
private int lookforWhiteSpaceBefore(String text, int selectionStart) {
while( !Character.isWhitespace(text.charAt(selectionStart)) && selectionStart>=0 ) {
selectionStart--;
}
return selectionStart;
}
private int lookforWhiteSpaceAfter(String text, int selectionEnd) {
while( !Character.isWhitespace(text.charAt(selectionEnd)) && selectionEnd<text.length() ) {
selectionEnd++;
}
return selectionEnd;
}
});
frame.setVisible(true);
}
} |
Partager