secure.phpeclipse.com Git - phpeclipse.git/blob

   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://www.eclipse.org/legal/cpl-v10.html
   7  *
   8  * Contributors:
   9  *     Igor Malinin - initial contribution
  10  *
  11  * $Id: SimpleDoubleClickStrategy.java,v 1.1 2004-09-02 18:28:03 jsurfer Exp $
  12  */
  13
  14 package net.sourceforge.phpeclipse.xml.ui.internal.text;
  15
  16 import org.eclipse.jface.text.BadLocationException;
  17 import org.eclipse.jface.text.IDocument;
  18 import org.eclipse.jface.text.ITextViewer;
  19 import org.eclipse.jface.text.ITypedRegion;
  20
  21 import net.sourceforge.phpeclipse.ui.text.TextDoubleClickStrategy;
  22
  23
  24 /**
  25  *
  26  *
  27  * @author Igor Malinin
  28  */
  29 public class SimpleDoubleClickStrategy extends TextDoubleClickStrategy {
  30         /*
  31          * @see org.eclipse.jface.text.ITextDoubleClickStrategy#doubleClicked(ITextViewer)
  32          */
  33         public void doubleClicked( ITextViewer viewer ) {
  34                 int offset = viewer.getSelectedRange().x;
  35                 if ( offset < 0 ) {
  36                         return;
  37                 }
  38
  39                 try {
  40                         IDocument document = viewer.getDocument();
  41
  42                         ITypedRegion region = document.getPartition( offset );
  43
  44                         int start = region.getOffset();
  45                         int length = region.getLength();
  46
  47                         if ( offset == start ) {
  48                                 viewer.setSelectedRange( start, length );
  49                                 return;
  50                         }
  51
  52                         int end = start + length - 1;
  53
  54                         if ( offset == end && document.getChar(end) == '>' ) {
  55                                 viewer.setSelectedRange( start, length );
  56                                 return;
  57                         }
  58
  59                         super.doubleClicked( viewer );
  60                 } catch ( BadLocationException e ) {}
  61         }
  62 }