150 lines
4.6 KiB
JavaScript
150 lines
4.6 KiB
JavaScript
/* ***** BEGIN LICENSE BLOCK *****
|
|
* Version: MPL 1.1/GPL 2.0/LGPL 2.1
|
|
*
|
|
* The contents of this file are subject to the Mozilla Public License Version
|
|
* 1.1 (the "License"); you may not use this file except in compliance with
|
|
* the License. You may obtain a copy of the License at
|
|
* http://www.mozilla.org/MPL/
|
|
*
|
|
* Software distributed under the License is distributed on an "AS IS" basis,
|
|
* WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
|
|
* for the specific language governing rights and limitations under the
|
|
* License.
|
|
*
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
*
|
|
* The Initial Developer of the Original Code is
|
|
* Ajax.org Services B.V.
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
* the Initial Developer. All Rights Reserved.
|
|
*
|
|
* Contributor(s):
|
|
* Fabian Jakobs <fabian AT ajax DOT org>
|
|
*
|
|
* Alternatively, the contents of this file may be used under the terms of
|
|
* either the GNU General Public License Version 2 or later (the "GPL"), or
|
|
* the GNU Lesser General Public License Version 2.1 or later (the "LGPL"),
|
|
* in which case the provisions of the GPL or the LGPL are applicable instead
|
|
* of those above. If you wish to allow use of your version of this file only
|
|
* under the terms of either the GPL or the LGPL, and not to allow others to
|
|
* use your version of this file under the terms of the MPL, indicate your
|
|
* decision by deleting the provisions above and replace them with the notice
|
|
* and other provisions required by the GPL or the LGPL. If you do not delete
|
|
* the provisions above, a recipient may use your version of this file under
|
|
* the terms of any one of the MPL, the GPL or the LGPL.
|
|
*
|
|
* ***** END LICENSE BLOCK ***** */
|
|
|
|
define(function(require, exports, module) {
|
|
|
|
var dom = require("pilot/dom").dom;
|
|
|
|
var Cursor = function(parentEl) {
|
|
this.element = document.createElement("div");
|
|
this.element.className = "ace_layer ace_cursor-layer";
|
|
parentEl.appendChild(this.element);
|
|
|
|
this.cursor = document.createElement("div");
|
|
this.cursor.className = "ace_cursor";
|
|
|
|
this.isVisible = false;
|
|
};
|
|
|
|
(function() {
|
|
|
|
this.setDocument = function(doc) {
|
|
this.doc = doc;
|
|
};
|
|
|
|
this.setCursor = function(position, overwrite) {
|
|
this.position = {
|
|
row : position.row,
|
|
column : this.doc.documentToScreenColumn(position.row, position.column)
|
|
};
|
|
if (overwrite) {
|
|
dom.addCssClass(this.cursor, "ace_overwrite");
|
|
} else {
|
|
dom.removeCssClass(this.cursor, "ace_overwrite");
|
|
}
|
|
};
|
|
|
|
this.hideCursor = function() {
|
|
this.isVisible = false;
|
|
if (this.cursor.parentNode) {
|
|
this.cursor.parentNode.removeChild(this.cursor);
|
|
}
|
|
clearInterval(this.blinkId);
|
|
};
|
|
|
|
this.showCursor = function() {
|
|
this.isVisible = true;
|
|
this.element.appendChild(this.cursor);
|
|
|
|
var cursor = this.cursor;
|
|
cursor.style.visibility = "visible";
|
|
this.restartTimer();
|
|
};
|
|
|
|
this.restartTimer = function() {
|
|
clearInterval(this.blinkId);
|
|
if (!this.isVisible) {
|
|
return;
|
|
}
|
|
|
|
var cursor = this.cursor;
|
|
this.blinkId = setInterval(function() {
|
|
cursor.style.visibility = "hidden";
|
|
setTimeout(function() {
|
|
cursor.style.visibility = "visible";
|
|
}, 400);
|
|
}, 1000);
|
|
};
|
|
|
|
this.getPixelPosition = function() {
|
|
if (!this.config || !this.position) {
|
|
return {
|
|
left : 0,
|
|
top : 0
|
|
};
|
|
}
|
|
|
|
var cursorLeft = Math.round(this.position.column * this.config.characterWidth);
|
|
var cursorTop = this.position.row * this.config.lineHeight;
|
|
|
|
return {
|
|
left : cursorLeft,
|
|
top : cursorTop
|
|
};
|
|
};
|
|
|
|
this.update = function(config) {
|
|
if (!this.position)
|
|
return;
|
|
|
|
this.config = config;
|
|
|
|
var cursorLeft = Math.round(this.position.column * config.characterWidth);
|
|
var cursorTop = this.position.row * config.lineHeight;
|
|
|
|
this.pixelPos = {
|
|
left : cursorLeft,
|
|
top : cursorTop
|
|
};
|
|
|
|
this.cursor.style.left = cursorLeft + "px";
|
|
this.cursor.style.top = (cursorTop - (config.firstRow * config.lineHeight))
|
|
+ "px";
|
|
this.cursor.style.width = config.characterWidth + "px";
|
|
this.cursor.style.height = config.lineHeight + "px";
|
|
|
|
if (this.isVisible) {
|
|
this.element.appendChild(this.cursor);
|
|
}
|
|
this.restartTimer();
|
|
};
|
|
|
|
}).call(Cursor.prototype);
|
|
|
|
exports.Cursor = Cursor;
|
|
|
|
});
|