Start the debugger through setting the url with "?DBGSESSID=1@clienthost:10001" in...
[phpeclipse.git] / net.sourceforge.phpeclipse.ui / src / net / sourceforge / phpeclipse / ui / text / TextDoubleClickStrategy.java
1 /*
2  * Copyright (c) 2002-2004 Widespace, OU and others.
3  * All rights reserved. This program and the accompanying materials
4  * are made available under the terms of the Common Public License v1.0
5  * which accompanies this distribution, and is available at
6  * http://solareclipse.sourceforge.net/legal/cpl-v10.html
7  * 
8  * Contributors:
9  *     Igor Malinin - initial contribution
10  * 
11  * $Id: TextDoubleClickStrategy.java,v 1.1 2004-09-02 18:26:49 jsurfer Exp $
12  */
13
14 package net.sourceforge.phpeclipse.ui.text;
15
16 import org.eclipse.jface.text.BadLocationException;
17 import org.eclipse.jface.text.IDocument;
18 import org.eclipse.jface.text.ITextDoubleClickStrategy;
19 import org.eclipse.jface.text.ITextViewer;
20
21 /**
22  * @author Igor Malinin
23  */
24 public class TextDoubleClickStrategy implements ITextDoubleClickStrategy {
25
26         /*
27          * @see org.eclipse.jface.text.ITextDoubleClickStrategy#doubleClicked(ITextViewer)
28          */
29         public void doubleClicked(ITextViewer viewer) {
30                 int offset = viewer.getSelectedRange().x;
31                 if (offset < 0) { return; }
32
33                 selectWord(viewer, viewer.getDocument(), offset);
34         }
35
36         protected void selectWord(ITextViewer textViewer, IDocument document,
37                         int offset) {
38                 try {
39                         int start = offset;
40                         while (start >= 0) {
41                                 char c = document.getChar(start);
42
43                                 if (!Character.isUnicodeIdentifierPart(c)) {
44                                         break;
45                                 }
46
47                                 --start;
48                         }
49
50                         int length = document.getLength();
51
52                         int end = offset;
53                         while (end < length) {
54                                 char c = document.getChar(end);
55
56                                 if (!Character.isUnicodeIdentifierPart(c)) {
57                                         break;
58                                 }
59
60                                 ++end;
61                         }
62
63                         if (start == end) {
64                                 textViewer.setSelectedRange(start, 0);
65                         } else {
66                                 textViewer.setSelectedRange(start + 1, end - start - 1);
67                         }
68                 } catch (BadLocationException x) {
69                 }
70         }
71 }