extensions/diavolo/content/selector.js

   1 /* ***** BEGIN LICENSE BLOCK *****
   2  * Version: MPL 1.1/GPL 2.0/LGPL 2.1
   3  *
   4  * The contents of this file are subject to the Mozilla Public License Version
   5  * 1.1 (the "License"); you may not use this file except in compliance with
   6  * the License. You may obtain a copy of the License at
   7  * http://www.mozilla.org/MPL/
   8  *
   9  * Software distributed under the License is distributed on an "AS IS" basis,
  10  * WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
  11  * for the specific language governing rights and limitations under the
  12  * License.
  13  *
  14  * The Original Code is Diavolo.
  15  *
  16  * The Initial Developer of the Original Code is
  17  * Disruptive Innovations SARL.
  18  * Portions created by the Initial Developer are Copyright (C) 2006-2008
  19  * the Initial Developer. All Rights Reserved.
  20  *
  21  * Contributor(s):
  22  *   Daniel Glazman <daniel.glazman@disruptive-innovations.com>, Original author
  23  *
  24  * Alternatively, the contents of this file may be used under the terms of
  25  * either the GNU General Public License Version 2 or later (the "GPL"), or
  26  * the GNU Lesser General Public License Version 2.1 or later (the "LGPL"),
  27  * in which case the provisions of the GPL or the LGPL are applicable instead
  28  * of those above. If you wish to allow use of your version of this file only
  29  * under the terms of either the GPL or the LGPL, and not to allow others to
  30  * use your version of this file under the terms of the MPL, indicate your
  31  * decision by deleting the provisions above and replace them with the notice
  32  * and other provisions required by the GPL or the LGPL. If you do not delete
  33  * the provisions above, a recipient may use your version of this file under
  34  * the terms of any one of the MPL, the GPL or the LGPL.
  35  *
  36  * ***** END LICENSE BLOCK ***** */
  37
  38 function DiavoloSelector(aDiavoloEditor)
  39 {
  40   this.init(aDiavoloEditor);
  41 }
  42
  43 DiavoloSelector.prototype = {
  44
  45   mDiavoloEditor: null,
  46
  47   mSelecting: false,
  48   mStartOffset: -1,
  49   mEndOffset: -1,
  50
  51   init: function init(aDiavoloEditor)
  52   {
  53     this.mDiavoloEditor = aDiavoloEditor;
  54   },
  55
  56   selectLine: function selectLine(e)
  57   {
  58     if (!this.mDiavoloEditor)
  59       return;
  60     var node = e.originalTarget;
  61     if (node.localName.toLowerCase() != "pre")
  62       return;
  63
  64     this.mSelecting = true;
  65
  66     var line = parseInt(e.originalTarget.textContent);
  67     var startOffset = -1;
  68     var endOffset = -1;
  69     var offset = 0;
  70     var node = this.mDiavoloEditor.mHighlighter.mElement.firstChild;
  71     var currentLine = 1;
  72     while (currentLine <= line)
  73     {
  74       if (line == currentLine)
  75       {
  76         if (startOffset == -1)
  77           startOffset = offset;
  78         endOffset = offset;
  79       }
  80       if (node.nodeName.toLowerCase() == "br")
  81         currentLine++;
  82
  83       node = node.nextSibling;
  84       offset++;
  85
  86     }
  87     if (startOffset == -1 || endOffset == -1)
  88       return;
  89
  90     if (this.mStartOffset == -1)
  91       this.mStartOffset = startOffset;
  92
  93     this.mEndOffset = endOffset;
  94
  95     if (this.mEndOffset >= this.mStartOffset)
  96     {
  97       startOffset = this.mStartOffset;
  98       endOffset = this.mEndOffset + 1;
  99     }
 100     else
 101     {
 102       startOffset = this.mEndOffset;
 103       endOffset = this.mStartOffset+1;
 104     }
 105
 106     this.mDiavoloEditor.mEditorCore.selection.collapse(this.mDiavoloEditor.mHighlighter.mElement,
 107                                                        startOffset);
 108     this.mDiavoloEditor.mEditorCore.selection.extend(this.mDiavoloEditor.mHighlighter.mElement,
 109                                                        endOffset);
 110   },
 111
 112   extendSelection: function extendSelection(e)
 113   {
 114     if (this.mSelecting)
 115       this.selectLine(e);
 116   },
 117
 118   stopSelectLine: function stopSelectLine(e)
 119   {
 120     this.mSelecting = false;
 121     this.mStartOffset = -1;
 122     this.mEndOffset = -1;
 123   }
 124
 125 }