mirror of
https://github.com/atom/atom.git
synced 2026-01-24 06:18:03 -05:00
147 lines
4.6 KiB
JavaScript
147 lines
4.6 KiB
JavaScript
/* vim:ts=4:sts=4:sw=4:
|
|
* ***** 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 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>
|
|
* Julian Viereck <julian.viereck@gmail.com>
|
|
*
|
|
* 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");
|
|
|
|
var Cursor = function(parentEl) {
|
|
this.element = dom.createElement("div");
|
|
this.element.className = "ace_layer ace_cursor-layer";
|
|
parentEl.appendChild(this.element);
|
|
|
|
this.cursor = dom.createElement("div");
|
|
this.cursor.className = "ace_cursor ace_hidden";
|
|
this.element.appendChild(this.cursor);
|
|
|
|
this.isVisible = false;
|
|
};
|
|
|
|
(function() {
|
|
|
|
this.$padding = 0;
|
|
this.setPadding = function(padding) {
|
|
this.$padding = padding;
|
|
};
|
|
|
|
this.setSession = function(session) {
|
|
this.session = session;
|
|
};
|
|
|
|
this.hideCursor = function() {
|
|
this.isVisible = false;
|
|
dom.addCssClass(this.cursor, "ace_hidden");
|
|
clearInterval(this.blinkId);
|
|
};
|
|
|
|
this.showCursor = function() {
|
|
this.isVisible = true;
|
|
dom.removeCssClass(this.cursor, "ace_hidden");
|
|
this.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(onScreen) {
|
|
if (!this.config || !this.session) {
|
|
return {
|
|
left : 0,
|
|
top : 0
|
|
};
|
|
}
|
|
|
|
var position = this.session.selection.getCursor();
|
|
var pos = this.session.documentToScreenPosition(position);
|
|
var cursorLeft = Math.round(this.$padding +
|
|
pos.column * this.config.characterWidth);
|
|
var cursorTop = (pos.row - (onScreen ? this.config.firstRowScreen : 0)) *
|
|
this.config.lineHeight;
|
|
|
|
return {
|
|
left : cursorLeft,
|
|
top : cursorTop
|
|
};
|
|
};
|
|
|
|
this.update = function(config) {
|
|
this.config = config;
|
|
|
|
this.pixelPos = this.getPixelPosition(true);
|
|
|
|
this.cursor.style.left = this.pixelPos.left + "px";
|
|
this.cursor.style.top = this.pixelPos.top + "px";
|
|
this.cursor.style.width = config.characterWidth + "px";
|
|
this.cursor.style.height = config.lineHeight + "px";
|
|
|
|
var overwrite = this.session.getOverwrite()
|
|
if (overwrite != this.overwrite) {
|
|
this.overwrite = overwrite;
|
|
if (overwrite)
|
|
dom.addCssClass(this.cursor, "ace_overwrite");
|
|
else
|
|
dom.removeCssClass(this.cursor, "ace_overwrite");
|
|
}
|
|
|
|
this.restartTimer();
|
|
};
|
|
|
|
this.destroy = function() {
|
|
clearInterval(this.blinkId);
|
|
}
|
|
|
|
}).call(Cursor.prototype);
|
|
|
|
exports.Cursor = Cursor;
|
|
|
|
});
|