summaryrefslogtreecommitdiff
path: root/js/lib/jquery.console.js
diff options
context:
space:
mode:
authorAleš Smodiš <aless@guru.si>2015-07-14 11:26:11 +0200
committerAleš Smodiš <aless@guru.si>2015-07-14 11:26:11 +0200
commit579f8afbca30ea91244cd839340ee7f67d94d78e (patch)
treeb26f924746665e77ac868d99b46f366cef8247e0 /js/lib/jquery.console.js
parent216fbf74e5720cd3e05742699ad7cb4e1d84bc27 (diff)
Changed the organization of js and css file to reflect the libraries they are used with.
Added the show-hint add-on for CodeMirror.
Diffstat (limited to 'js/lib/jquery.console.js')
-rw-r--r--js/lib/jquery.console.js773
1 files changed, 0 insertions, 773 deletions
diff --git a/js/lib/jquery.console.js b/js/lib/jquery.console.js
deleted file mode 100644
index 4a75a99..0000000
--- a/js/lib/jquery.console.js
+++ /dev/null
@@ -1,773 +0,0 @@
-// JQuery Console 1.0
-// Sun Feb 21 20:28:47 GMT 2010
-//
-// Copyright 2010 Chris Done, Simon David Pratt. All rights reserved.
-//
-// Redistribution and use in source and binary forms, with or without
-// modification, are permitted provided that the following conditions
-// are met:
-//
-// 1. Redistributions of source code must retain the above
-// copyright notice, this list of conditions and the following
-// disclaimer.
-//
-// 2. Redistributions in binary form must reproduce the above
-// copyright notice, this list of conditions and the following
-// disclaimer in the documentation and/or other materials
-// provided with the distribution.
-//
-// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
-// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
-// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
-// FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
-// COPYRIGHT HOLDERS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
-// INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
-// BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
-// LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
-// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
-// LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
-// ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
-// POSSIBILITY OF SUCH DAMAGE.
-
-// TESTED ON
-// Internet Explorer 6
-// Opera 10.01
-// Chromium 4.0.237.0 (Ubuntu build 31094)
-// Firefox 3.5.8, 3.6.2 (Mac)
-// Safari 4.0.5 (6531.22.7) (Mac)
-// Google Chrome 5.0.375.55 (Mac)
-
-(function($){
- var isWebkit = !!~navigator.userAgent.indexOf(' AppleWebKit/');
-
- $.fn.console = function(config){
- ////////////////////////////////////////////////////////////////////////
- // Constants
- // Some are enums, data types, others just for optimisation
- var keyCodes = {
- // left
- 37: moveBackward,
- // right
- 39: moveForward,
- // up
- 38: previousHistory,
- // down
- 40: nextHistory,
- // backspace
- 8: backDelete,
- // delete
- 46: forwardDelete,
- // end
- 35: moveToEnd,
- // start
- 36: moveToStart,
- // return
- 13: commandTrigger,
- // tab
- 18: doNothing,
- // tab
- 9: doComplete
- };
- var ctrlCodes = {
- // C-a
- 65: moveToStart,
- // C-e
- 69: moveToEnd,
- // C-d
- 68: forwardDelete,
- // C-n
- 78: nextHistory,
- // C-p
- 80: previousHistory,
- // C-b
- 66: moveBackward,
- // C-f
- 70: moveForward,
- // C-k
- 75: deleteUntilEnd
- };
- if(config.ctrlCodes) {
- $.extend(ctrlCodes, config.ctrlCodes);
- }
- var altCodes = {
- // M-f
- 70: moveToNextWord,
- // M-b
- 66: moveToPreviousWord,
- // M-d
- 68: deleteNextWord
- };
- var shiftCodes = {
- // return
- 13: newLine,
- };
- var cursor = '<span class="jquery-console-cursor">&nbsp;</span>';
-
- ////////////////////////////////////////////////////////////////////////
- // Globals
- var container = $(this);
- var inner = $('<div class="jquery-console-inner"></div>');
- // erjiang: changed this from a text input to a textarea so we
- // can get pasted newlines
- var typer = $('<textarea autocomplete="off" autocorrect="off" autocapitalize="off" spellcheck="false" class="jquery-console-typer"></textarea>');
- // Prompt
- var promptBox;
- var prompt;
- var continuedPromptLabel = config && config.continuedPromptLabel?
- config.continuedPromptLabel : "> ";
- var column = 0;
- var promptText = '';
- var restoreText = '';
- var continuedText = '';
- var fadeOnReset = config.fadeOnReset !== undefined ? config.fadeOnReset : true;
- // Prompt history stack
- var history = [];
- var ringn = 0;
- // For reasons unknown to The Sword of Michael himself, Opera
- // triggers and sends a key character when you hit various
- // keys like PgUp, End, etc. So there is no way of knowing
- // when a user has typed '#' or End. My solution is in the
- // typer.keydown and typer.keypress functions; I use the
- // variable below to ignore the keypress event if the keydown
- // event succeeds.
- var cancelKeyPress = 0;
- // When this value is false, the prompt will not respond to input
- var acceptInput = true;
- // When this value is true, the command has been canceled
- var cancelCommand = false;
-
- // External exports object
- var extern = {};
-
- ////////////////////////////////////////////////////////////////////////
- // Main entry point
- (function(){
- extern.promptLabel = config && config.promptLabel? config.promptLabel : "> ";
- container.append(inner);
- inner.append(typer);
- typer.css({position:'absolute',top:0,left:'-9999px'});
- if (config.welcomeMessage)
- message(config.welcomeMessage,'jquery-console-welcome');
- newPromptBox();
- if (config.autofocus) {
- inner.addClass('jquery-console-focus');
- typer.focus();
- setTimeout(function(){
- inner.addClass('jquery-console-focus');
- typer.focus();
- },100);
- }
- extern.inner = inner;
- extern.typer = typer;
- extern.scrollToBottom = scrollToBottom;
- extern.report = report;
- })();
-
- ////////////////////////////////////////////////////////////////////////
- // Reset terminal
- extern.reset = function(){
- var welcome = (typeof config.welcomeMessage != 'undefined');
-
- var removeElements = function() {
- inner.find('div').each(function(){
- if (!welcome) {
- $(this).remove();
- } else {
- welcome = false;
- }
- });
- };
-
- if (fadeOnReset) {
- inner.parent().fadeOut(function() {
- removeElements();
- newPromptBox();
- inner.parent().fadeIn(focusConsole);
- });
- }
- else {
- removeElements();
- newPromptBox();
- focusConsole();
- }
- };
-
- var focusConsole = function() {
- inner.addClass('jquery-console-focus');
- typer.focus();
- };
-
- extern.focus = function(){
- focusConsole();
- }
-
- ////////////////////////////////////////////////////////////////////////
- // Reset terminal
- extern.notice = function(msg,style){
- var n = $('<div class="notice"></div>').append($('<div></div>').text(msg))
- .css({visibility:'hidden'});
- container.append(n);
- var focused = true;
- if (style=='fadeout')
- setTimeout(function(){
- n.fadeOut(function(){
- n.remove();
- });
- },4000);
- else if (style=='prompt') {
- var a = $('<br/><div class="action"><a href="javascript:">OK</a><div class="clear"></div></div>');
- n.append(a);
- focused = false;
- a.click(function(){ n.fadeOut(function(){ n.remove();inner.css({opacity:1}) }); });
- }
- var h = n.height();
- n.css({height:'0px',visibility:'visible'})
- .animate({height:h+'px'},function(){
- if (!focused) inner.css({opacity:0.5});
- });
- n.css('cursor','default');
- return n;
- };
-
- ////////////////////////////////////////////////////////////////////////
- // Make a new prompt box
- function newPromptBox() {
- column = 0;
- promptText = '';
- ringn = 0; // Reset the position of the history ring
- enableInput();
- promptBox = $('<div class="jquery-console-prompt-box"></div>');
- var label = $('<span class="jquery-console-prompt-label"></span>');
- var labelText = extern.continuedPrompt? continuedPromptLabel : extern.promptLabel;
- promptBox.append(label.text(labelText).show());
- label.html(label.html().replace(' ','&nbsp;'));
- prompt = $('<span class="jquery-console-prompt"></span>');
- promptBox.append(prompt);
- inner.append(promptBox);
- updatePromptDisplay();
- };
-
- ////////////////////////////////////////////////////////////////////////
- // Handle setting focus
- container.click(function(){
- // Don't mess with the focus if there is an active selection
- if (window.getSelection().toString()) {
- return false;
- }
-
- inner.addClass('jquery-console-focus');
- inner.removeClass('jquery-console-nofocus');
- if (isWebkit) {
- typer.focusWithoutScrolling();
- } else {
- typer.css('position', 'fixed').focus();
- }
- scrollToBottom();
- return false;
- });
-
- ////////////////////////////////////////////////////////////////////////
- // Handle losing focus
- typer.blur(function(){
- inner.removeClass('jquery-console-focus');
- inner.addClass('jquery-console-nofocus');
- });
-
- ////////////////////////////////////////////////////////////////////////
- // Bind to the paste event of the input box so we know when we
- // get pasted data
- typer.bind('paste', function(e) {
- // wipe typer input clean just in case
- typer.val("");
- // this timeout is required because the onpaste event is
- // fired *before* the text is actually pasted
- setTimeout(function() {
- typer.consoleInsert(typer.val());
- typer.val("");
- }, 0);
- });
-
- ////////////////////////////////////////////////////////////////////////
- // Handle key hit before translation
- // For picking up control characters like up/left/down/right
-
- typer.keydown(function(e){
- cancelKeyPress = 0;
- var keyCode = e.keyCode;
- // C-c: cancel the execution
- if(e.ctrlKey && keyCode == 67) {
- cancelKeyPress = keyCode;
- cancelExecution();
- return false;
- }
- if (acceptInput) {
- if (e.shiftKey && keyCode in shiftCodes) {
- cancelKeyPress = keyCode;
- (shiftCodes[keyCode])();
- return false;
- } else if (e.altKey && keyCode in altCodes) {
- cancelKeyPress = keyCode;
- (altCodes[keyCode])();
- return false;
- } else if (e.ctrlKey && keyCode in ctrlCodes) {
- cancelKeyPress = keyCode;
- (ctrlCodes[keyCode])();
- return false;
- } else if (keyCode in keyCodes) {
- cancelKeyPress = keyCode;
- (keyCodes[keyCode])();
- return false;
- }
- }
- });
-
- ////////////////////////////////////////////////////////////////////////
- // Handle key press
- typer.keypress(function(e){
- var keyCode = e.keyCode || e.which;
- if (isIgnorableKey(e)) {
- return false;
- }
- // C-v: don't insert on paste event
- if ((e.ctrlKey || e.metaKey) && String.fromCharCode(keyCode).toLowerCase() == 'v') {
- return true;
- }
- if (acceptInput && cancelKeyPress != keyCode && keyCode >= 32){
- if (cancelKeyPress) return false;
- if (
- typeof config.charInsertTrigger == 'undefined' || (
- typeof config.charInsertTrigger == 'function' &&
- config.charInsertTrigger(keyCode,promptText)
- )
- ){
- typer.consoleInsert(keyCode);
- }
- }
- if (isWebkit) return false;
- });
-
- function isIgnorableKey(e) {
- // for now just filter alt+tab that we receive on some platforms when
- // user switches windows (goes away from the browser)
- return ((e.keyCode == keyCodes.tab || e.keyCode == 192) && e.altKey);
- };
-
- ////////////////////////////////////////////////////////////////////////
- // Rotate through the command history
- function rotateHistory(n){
- if (history.length == 0) return;
- ringn += n;
- if (ringn < 0) ringn = history.length;
- else if (ringn > history.length) ringn = 0;
- var prevText = promptText;
- if (ringn == 0) {
- promptText = restoreText;
- } else {
- promptText = history[ringn - 1];
- }
- if (config.historyPreserveColumn) {
- if (promptText.length < column + 1) {
- column = promptText.length;
- } else if (column == 0) {
- column = promptText.length;
- }
- } else {
- column = promptText.length;
- }
- updatePromptDisplay();
- };
-
- function previousHistory() {
- rotateHistory(-1);
- };
-
- function nextHistory() {
- rotateHistory(1);
- };
-
- // Add something to the history ring
- function addToHistory(line){
- history.push(line);
- restoreText = '';
- };
-
- // Delete the character at the current position
- function deleteCharAtPos(){
- if (column < promptText.length){
- promptText =
- promptText.substring(0,column) +
- promptText.substring(column+1);
- restoreText = promptText;
- return true;
- } else return false;
- };
-
- function backDelete() {
- if (moveColumn(-1)){
- deleteCharAtPos();
- updatePromptDisplay();
- }
- };
-
- function forwardDelete() {
- if (deleteCharAtPos()){
- updatePromptDisplay();
- }
- };
-
- function deleteUntilEnd() {
- while(deleteCharAtPos()) {
- updatePromptDisplay();
- }
- };
-
- function deleteNextWord() {
- // A word is defined within this context as a series of alphanumeric
- // characters.
- // Delete up to the next alphanumeric character
- while(
- column < promptText.length &&
- !isCharAlphanumeric(promptText[column])
- ) {
- deleteCharAtPos();
- updatePromptDisplay();
- }
- // Then, delete until the next non-alphanumeric character
- while(
- column < promptText.length &&
- isCharAlphanumeric(promptText[column])
- ) {
- deleteCharAtPos();
- updatePromptDisplay();
- }
- };
-
- function newLine() {
- var lines = promptText.split("\n");
- var last_line = lines.slice(-1)[0];
- var spaces = last_line.match(/^(\s*)/g)[0];
- var new_line = "\n" + spaces;
- promptText += new_line;
- moveColumn(new_line.length);
- updatePromptDisplay();
- };
-
- ////////////////////////////////////////////////////////////////////////
- // Validate command and trigger it if valid, or show a validation error
- function commandTrigger() {
- var line = promptText;
- if (typeof config.commandValidate == 'function') {
- var ret = config.commandValidate(line);
- if (ret == true || ret == false) {
- if (ret) {
- handleCommand();
- }
- } else {
- commandResult(ret,"jquery-console-message-error");
- }
- } else {
- handleCommand();
- }
- };
-
- // Scroll to the bottom of the view
- function scrollToBottom() {
- var version = jQuery.fn.jquery.split('.');
- var major = parseInt(version[0]);
- var minor = parseInt(version[1]);
-
- // check if we're using jquery > 1.6
- if ((major == 1 && minor > 6) || major > 1) {
- inner.prop({ scrollTop: inner.prop("scrollHeight") });
- }
- else {
- inner.attr({ scrollTop: inner.attr("scrollHeight") });
- }
- };
-
- function cancelExecution() {
- if(typeof config.cancelHandle == 'function') {
- config.cancelHandle();
- }
- }
-
- ////////////////////////////////////////////////////////////////////////
- // Handle a command
- function handleCommand() {
- if (typeof config.commandHandle == 'function') {
- disableInput();
- addToHistory(promptText);
- var text = promptText;
- if (extern.continuedPrompt) {
- if (continuedText)
- continuedText += '\n' + promptText;
- else continuedText = promptText;
- } else continuedText = undefined;
- if (continuedText) text = continuedText;
- var ret = config.commandHandle(text,function(msgs){
- commandResult(msgs);
- });
- if (extern.continuedPrompt && !continuedText)
- continuedText = promptText;
- if (typeof ret == 'boolean') {
- if (ret) {
- // Command succeeded without a result.
- commandResult();
- } else {
- commandResult(
- 'Command failed.',
- "jquery-console-message-error"
- );
- }
- } else if (typeof ret == "string") {
- commandResult(ret,"jquery-console-message-success");
- } else if (typeof ret == 'object' && ret.length) {
- commandResult(ret);
- } else if (extern.continuedPrompt) {
- commandResult();
- }
- }
- };
-
- ////////////////////////////////////////////////////////////////////////
- // Disable input
- function disableInput() {
- acceptInput = false;
- };
-
- // Enable input
- function enableInput() {
- acceptInput = true;
- }
-
- ////////////////////////////////////////////////////////////////////////
- // Reset the prompt in invalid command
- function commandResult(msg,className) {
- column = -1;
- updatePromptDisplay();
- if (typeof msg == 'string') {
- message(msg,className);
- } else if ($.isArray(msg)) {
- for (var x in msg) {
- var ret = msg[x];
- message(ret.msg,ret.className);
- }
- } else { // Assume it's a DOM node or jQuery object.
- inner.append(msg);
- }
- newPromptBox();
- };
-
- ////////////////////////////////////////////////////////////////////////
- // Report some message into the console
- function report(msg,className) {
- var text = promptText;
- promptBox.remove();
- commandResult(msg,className);
- extern.promptText(text);
- };
-
- ////////////////////////////////////////////////////////////////////////
- // Display a message
- function message(msg,className) {
- var mesg = $('<div class="jquery-console-message"></div>');
- if (className) mesg.addClass(className);
- mesg.filledText(msg).hide();
- inner.append(mesg);
- mesg.show();
- };
-
- ////////////////////////////////////////////////////////////////////////
- // Handle normal character insertion
- // data can either be a number, which will be interpreted as the
- // numeric value of a single character, or a string
- typer.consoleInsert = function(data){
- // TODO: remove redundant indirection
- var text = (typeof data == 'number') ? String.fromCharCode(data) : data;
- var before = promptText.substring(0,column);
- var after = promptText.substring(column);
- promptText = before + text + after;
- moveColumn(text.length);
- restoreText = promptText;
- updatePromptDisplay();
- };
-
- ////////////////////////////////////////////////////////////////////////
- // Move to another column relative to this one
- // Negative means go back, positive means go forward.
- function moveColumn(n){
- if (column + n >= 0 && column + n <= promptText.length){
- column += n;
- return true;
- } else return false;
- };
-
- function moveForward() {
- if(moveColumn(1)) {
- updatePromptDisplay();
- return true;
- }
- return false;
- };
-
- function moveBackward() {
- if(moveColumn(-1)) {
- updatePromptDisplay();
- return true;
- }
- return false;
- };
-
- function moveToStart() {
- if (moveColumn(-column))
- updatePromptDisplay();
- };
-
- function moveToEnd() {
- if (moveColumn(promptText.length-column))
- updatePromptDisplay();
- };
-
- function moveToNextWord() {
- while(
- column < promptText.length &&
- !isCharAlphanumeric(promptText[column]) &&
- moveForward()
- ) {}
- while(
- column < promptText.length &&
- isCharAlphanumeric(promptText[column]) &&
- moveForward()
- ) {}
- };
-
- function moveToPreviousWord() {
- // Move backward until we find the first alphanumeric
- while(
- column -1 >= 0 &&
- !isCharAlphanumeric(promptText[column-1]) &&
- moveBackward()
- ) {}
- // Move until we find the first non-alphanumeric
- while(
- column -1 >= 0 &&
- isCharAlphanumeric(promptText[column-1]) &&
- moveBackward()
- ) {}
- };
-
- function isCharAlphanumeric(charToTest) {
- if(typeof charToTest == 'string') {
- var code = charToTest.charCodeAt();
- return (code >= 'A'.charCodeAt() && code <= 'Z'.charCodeAt()) ||
- (code >= 'a'.charCodeAt() && code <= 'z'.charCodeAt()) ||
- (code >= '0'.charCodeAt() && code <= '9'.charCodeAt());
- }
- return false;
- };
-
- function doComplete() {
- if(typeof config.completeHandle == 'function') {
- var completions = config.completeHandle(promptText);
- var len = completions.length;
- if (len === 1) {
- extern.promptText(promptText + completions[0]);
- } else if (len > 1 && config.cols) {
- var prompt = promptText;
- // Compute the number of rows that will fit in the width
- var max = 0;
- for (var i = 0;i < len;i++) {
- max = Math.max(max, completions[i].length);
- }
- max += 2;
- var n = Math.floor(config.cols / max);
- var buffer = "";
- var col = 0;
- for (i = 0;i < len;i++) {
- var completion = completions[i];
- buffer += completions[i];
- for (var j = completion.length;j < max;j++) {
- buffer += " ";
- }
- if (++col >= n) {
- buffer += "\n";
- col = 0;
- }
- }
- commandResult(buffer,"jquery-console-message-value");
- extern.promptText(prompt);
- }
- }
- };
-
- function doNothing() {};
-
- extern.promptText = function(text){
- if (typeof text === 'string') {
- promptText = text;
- column = promptText.length;
- updatePromptDisplay();
- }
- return promptText;
- };
-
- ////////////////////////////////////////////////////////////////////////
- // Update the prompt display
- function updatePromptDisplay(){
- var line = promptText;
- var html = '';
- if (column > 0 && line == ''){
- // When we have an empty line just display a cursor.
- html = cursor;
- } else if (column == promptText.length){
- // We're at the end of the line, so we need to display
- // the text *and* cursor.
- html = htmlEncode(line) + cursor;
- } else {
- // Grab the current character, if there is one, and
- // make it the current cursor.
- var before = line.substring(0, column);
- var current = line.substring(column,column+1);
- if (current){
- current =
- '<span class="jquery-console-cursor">' +
- htmlEncode(current) +
- '</span>';
- }
- var after = line.substring(column+1);
- html = htmlEncode(before) + current + htmlEncode(after);
- }
- prompt.html(html);
- scrollToBottom();
- };
-
- // Simple HTML encoding
- // Simply replace '<', '>' and '&'
- // TODO: Use jQuery's .html() trick, or grab a proper, fast
- // HTML encoder.
- function htmlEncode(text){
- return (
- text.replace(/&/g,'&amp;')
- .replace(/</g,'&lt;')
- .replace(/</g,'&lt;')
- .replace(/ /g,'&nbsp;')
- .replace(/\n/g,'<br />')
- );
- };
-
- return extern;
- };
- // Simple utility for printing messages
- $.fn.filledText = function(txt){
- $(this).text(txt);
- $(this).html($(this).html().replace(/\n/g,'<br/>'));
- return this;
- };
-
- // Alternative method for focus without scrolling
- $.fn.focusWithoutScrolling = function(){
- var x = window.scrollX, y = window.scrollY;
- $(this).focus();
- window.scrollTo(x, y);
- };
-})(jQuery);