mirror of
https://github.com/overleaf/overleaf.git
synced 2024-11-07 20:31:06 -05:00
remove unneed js
This commit is contained in:
Henry Oswald
parent
d0c050af37
commit
4d0f35e6be
3 changed files with 0 additions and 450 deletions
|
|
@ -1,7 +0,0 @@
|
||||||
(function() {
|
|
||||||
require(["jquery", "main", "libs/google-code-prettify/prettify", "libs/google-code-prettify/latex"], function($) {
|
|
||||||
$(document).ready(function() {
|
|
||||||
prettyPrint();
|
|
||||||
});
|
|
||||||
});
|
|
||||||
}).call(this);
|
|
||||||
|
|
@ -1,181 +0,0 @@
|
||||||
(function(exports){
|
|
||||||
|
|
||||||
//look at applyDeltas method
|
|
||||||
exports.applyChange = function(aceDoc, change, Range, callback) {
|
|
||||||
var r = change.range;
|
|
||||||
var range = new Range(r.start.row, r.start.column, r.end.row, r.end.column);
|
|
||||||
|
|
||||||
if('insertText'==change.action){
|
|
||||||
aceDoc.insert(change.range.start, change.text);
|
|
||||||
}else if('insertLines'==change.action){
|
|
||||||
aceDoc.insertLines(change.range.start.row, change.lines);
|
|
||||||
}else if('removeText'==change.action){
|
|
||||||
|
|
||||||
aceDoc.remove(range);
|
|
||||||
}else if('removeLines'==change.action){
|
|
||||||
aceDoc.removeLines(range.start.row, range.end.row-1);
|
|
||||||
}
|
|
||||||
|
|
||||||
if(typeof callback === 'function'){
|
|
||||||
callback(null, aceDoc);
|
|
||||||
};
|
|
||||||
}
|
|
||||||
|
|
||||||
})(typeof exports === 'undefined'? this['documentUpdater']={}: exports);
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
@ -1,262 +0,0 @@
|
||||||
/* ***** BEGIN LICENSE BLOCK *****
|
|
||||||
* Distributed under the BSD license:
|
|
||||||
*
|
|
||||||
* Copyright (c) 2010, Ajax.org B.V.
|
|
||||||
* All rights reserved.
|
|
||||||
*
|
|
||||||
* Redistribution and use in source and binary forms, with or without
|
|
||||||
* modification, are permitted provided that the following conditions are met:
|
|
||||||
* * Redistributions of source code must retain the above copyright
|
|
||||||
* notice, this list of conditions and the following disclaimer.
|
|
||||||
* * 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.
|
|
||||||
* * Neither the name of Ajax.org B.V. nor the
|
|
||||||
* names of its contributors may be used to endorse or promote products
|
|
||||||
* derived from this software without specific prior written permission.
|
|
||||||
*
|
|
||||||
* 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 AJAX.ORG B.V. 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.
|
|
||||||
*
|
|
||||||
* ***** END LICENSE BLOCK ***** */
|
|
||||||
|
|
||||||
define(function(require, exports, module) {
|
|
||||||
"use strict";
|
|
||||||
|
|
||||||
var dom = require("ace/lib/dom");
|
|
||||||
var lang = require("ace/lib/lang");
|
|
||||||
var event = require("ace/lib/event");
|
|
||||||
var searchboxCss = require("ace/requirejs/text!ace/ext/searchbox.css");
|
|
||||||
var HashHandler = require("ace/keyboard/hash_handler").HashHandler;
|
|
||||||
var keyUtil = require("ace/lib/keys");
|
|
||||||
|
|
||||||
//dom.importCssString(searchboxCss, "ace_searchbox");
|
|
||||||
|
|
||||||
var html = '<div class="ace_search right">\
|
|
||||||
<button action="hide" class="ace_searchbtn_close"></button>\
|
|
||||||
<div class="ace_search_form form-horizontal">\
|
|
||||||
<input class="ace_search_field" placeholder="Search for" spellcheck="false">\
|
|
||||||
<button action="findNext" type="button" class="btn ace_searchbtn next">\
|
|
||||||
<i action="findNext" class="icon-chevron-down"></i>\
|
|
||||||
</button>\
|
|
||||||
<button action="findPrev" type="button" class="btn ace_searchbtn prev">\
|
|
||||||
<i action="findPrev" class="icon-chevron-up"></i>\
|
|
||||||
</button>\
|
|
||||||
</div>\
|
|
||||||
<div class="ace_replace_form form-horizontal">\
|
|
||||||
<input class="ace_search_field" placeholder="Replace with" spellcheck="false">\
|
|
||||||
<button action="replace" class="btn ace_replacebtn">Replace</button>\
|
|
||||||
<button action="replaceAll" class="btn ace_replacebtn">All</button>\
|
|
||||||
</div>\
|
|
||||||
</div>'.replace(/>\s+/g, ">");
|
|
||||||
|
|
||||||
var SearchBox = function(editor, range, showReplaceForm) {
|
|
||||||
var div = dom.createElement("div");
|
|
||||||
div.innerHTML = html;
|
|
||||||
this.element = div.firstChild;
|
|
||||||
|
|
||||||
this.$init();
|
|
||||||
this.setEditor(editor);
|
|
||||||
};
|
|
||||||
|
|
||||||
(function() {
|
|
||||||
this.setEditor = function(editor) {
|
|
||||||
editor.searchBox = this;
|
|
||||||
editor.container.appendChild(this.element);
|
|
||||||
this.editor = editor;
|
|
||||||
};
|
|
||||||
|
|
||||||
this.$init = function() {
|
|
||||||
var sb = this.element;
|
|
||||||
|
|
||||||
this.searchBox = sb.querySelector(".ace_search_form");
|
|
||||||
this.replaceBox = sb.querySelector(".ace_replace_form");
|
|
||||||
this.searchInput = this.searchBox.querySelector(".ace_search_field");
|
|
||||||
this.replaceInput = this.replaceBox.querySelector(".ace_search_field");
|
|
||||||
|
|
||||||
var _this = this;
|
|
||||||
event.addListener(sb, "mousedown", function(e) {
|
|
||||||
setTimeout(function(){
|
|
||||||
_this.activeInput.focus();
|
|
||||||
}, 0);
|
|
||||||
event.stopPropagation(e);
|
|
||||||
});
|
|
||||||
event.addListener(sb, "click", function(e) {
|
|
||||||
var t = e.target;
|
|
||||||
var action = t.getAttribute("action");
|
|
||||||
if (action && _this[action])
|
|
||||||
_this[action]();
|
|
||||||
event.stopPropagation(e);
|
|
||||||
});
|
|
||||||
|
|
||||||
event.addCommandKeyListener(sb, function(e, hashId, keyCode) {
|
|
||||||
var keyString = keyUtil.keyCodeToString(keyCode);
|
|
||||||
var command = _this.$searchBarKb.findKeyCommand(hashId, keyString);
|
|
||||||
if (command && command.exec) {
|
|
||||||
command.exec(_this);
|
|
||||||
event.stopEvent(e);
|
|
||||||
}
|
|
||||||
});
|
|
||||||
|
|
||||||
this.$onChange = lang.delayedCall(function() {
|
|
||||||
_this.find(false, false);
|
|
||||||
});
|
|
||||||
|
|
||||||
event.addListener(this.searchInput, "input", function() {
|
|
||||||
_this.$onChange.schedule(20);
|
|
||||||
});
|
|
||||||
event.addListener(this.searchInput, "focus", function() {
|
|
||||||
_this.activeInput = _this.searchInput;
|
|
||||||
});
|
|
||||||
event.addListener(this.replaceInput, "focus", function() {
|
|
||||||
_this.activeInput = _this.replaceInput;
|
|
||||||
});
|
|
||||||
};
|
|
||||||
|
|
||||||
//keybinging outsite of the searchbox
|
|
||||||
/*this.$closeSearchBarKb = new HashHandler([{
|
|
||||||
bindKey: "Esc",
|
|
||||||
name: "closeSearchBar",
|
|
||||||
exec: function(editor) {
|
|
||||||
editor.searchBox.hide();
|
|
||||||
}
|
|
||||||
}]);*/
|
|
||||||
|
|
||||||
//keybinging outsite of the searchbox
|
|
||||||
this.$searchBarKb = new HashHandler();
|
|
||||||
this.$searchBarKb.bindKeys({
|
|
||||||
"Ctrl-f|Command-f|Ctrl-H|Command-Option-F": function(sb) {
|
|
||||||
var isReplace = sb.isReplace = !sb.isReplace;
|
|
||||||
//sb.replaceBox.style.display = isReplace ? "" : "none";
|
|
||||||
sb[isReplace ? "replaceInput" : "searchInput"].focus();
|
|
||||||
},
|
|
||||||
"esc": function(sb) {
|
|
||||||
setTimeout(function() { sb.hide();});
|
|
||||||
},
|
|
||||||
"Return": function(sb) {
|
|
||||||
if (sb.activeInput == sb.replaceInput)
|
|
||||||
sb.replace();
|
|
||||||
sb.findNext();
|
|
||||||
},
|
|
||||||
"Shift-Return": function(sb) {
|
|
||||||
if (sb.activeInput == sb.replaceInput)
|
|
||||||
sb.replace();
|
|
||||||
sb.findPrev();
|
|
||||||
},
|
|
||||||
"Tab": function(sb) {
|
|
||||||
(sb.activeInput == sb.replaceInput ? sb.searchInput : sb.replaceInput).focus();
|
|
||||||
}
|
|
||||||
});
|
|
||||||
|
|
||||||
|
|
||||||
this.find = function(skipCurrent, backwards) {
|
|
||||||
this.editor.find(this.searchInput.value, {
|
|
||||||
skipCurrent: skipCurrent,
|
|
||||||
backwards: backwards,
|
|
||||||
wrap: true
|
|
||||||
});
|
|
||||||
this.editor.session.highlight(this.editor.$search.$options.re);
|
|
||||||
};
|
|
||||||
this.findNext = function() {
|
|
||||||
this.find(true, false);
|
|
||||||
};
|
|
||||||
this.findPrev = function() {
|
|
||||||
this.find(true, true);
|
|
||||||
};
|
|
||||||
this.replace = function() {
|
|
||||||
this.editor.replace(this.replaceInput.value);
|
|
||||||
this.findNext();
|
|
||||||
};
|
|
||||||
this.replaceAll = function() {
|
|
||||||
this.editor.replaceAll(this.replaceInput.value);
|
|
||||||
};
|
|
||||||
|
|
||||||
this.hide = function () {
|
|
||||||
this.element.style.display = "none";
|
|
||||||
this.editor.keyBinding.removeKeyboardHandler(this.$searchKeybingin);
|
|
||||||
this.editor.focus();
|
|
||||||
};
|
|
||||||
this.show = function(value, isReplace) {
|
|
||||||
this.element.style.display = "";
|
|
||||||
//this.replaceBox.style.display = isReplace ? "" : "none";
|
|
||||||
|
|
||||||
this.isReplace = isReplace;
|
|
||||||
|
|
||||||
if (value)
|
|
||||||
this.searchInput.value = value;
|
|
||||||
this.searchInput.focus();
|
|
||||||
this.searchInput.select();
|
|
||||||
|
|
||||||
this.editor.keyBinding.addKeyboardHandler(this.$closeSearchBarKb);
|
|
||||||
};
|
|
||||||
|
|
||||||
}).call(SearchBox.prototype);
|
|
||||||
|
|
||||||
exports.SearchBox = SearchBox;
|
|
||||||
|
|
||||||
exports.Search = function(editor, isReplace) {
|
|
||||||
var sb = editor.searchBox || new SearchBox(editor);
|
|
||||||
sb.show(editor.session.getTextRange(), isReplace);
|
|
||||||
};
|
|
||||||
|
|
||||||
|
|
||||||
exports.ISearch = function(session, options) {
|
|
||||||
this.$changeListener = this.$changeListener.bind(this);
|
|
||||||
this.startRange = session.selection.toOrientedRange();
|
|
||||||
this.options = options || {};
|
|
||||||
};
|
|
||||||
|
|
||||||
(function(){
|
|
||||||
this.setSession = function(session) {
|
|
||||||
if (this.session) {
|
|
||||||
this.session.removeListener(this.$changeListener);
|
|
||||||
}
|
|
||||||
this.session = session;
|
|
||||||
this.session.addListener(this.$changeListener);
|
|
||||||
};
|
|
||||||
this.setSearchString = function() {
|
|
||||||
|
|
||||||
};
|
|
||||||
this.getValue = function() {
|
|
||||||
if (this.value == null)
|
|
||||||
this.value = this.session.getValue();
|
|
||||||
return this.value;
|
|
||||||
};
|
|
||||||
this.$changeListener = function() {
|
|
||||||
this.value = null;
|
|
||||||
};
|
|
||||||
this.find = function() {
|
|
||||||
|
|
||||||
};
|
|
||||||
this.$edgeBefore = function() {
|
|
||||||
this.cursor = this.startRange[this.options.backwards ? "start" : "end"];
|
|
||||||
};
|
|
||||||
this.$edgeAfter = function() {
|
|
||||||
|
|
||||||
};
|
|
||||||
this.next = function(dir) {
|
|
||||||
|
|
||||||
};
|
|
||||||
}).call(exports.ISearch.prototype);
|
|
||||||
|
|
||||||
|
|
||||||
});
|
|
||||||
|
|
||||||
|
|
||||||
/* ------------------------------------------------------------------------------------------
|
|
||||||
* TODO
|
|
||||||
* --------------------------------------------------------------------------------------- */
|
|
||||||
/*
|
|
||||||
- move search form to the left if it masks current word
|
|
||||||
- includ all options that search has. ex: regex
|
|
||||||
- searchbox.searchbox is not that pretty. we should have just searchbox
|
|
||||||
- disable prev button if it makes sence
|
|
||||||
*/
|
|
||||||
Loading…
Reference in a new issue