/script-kiddie/002_script_kiddie/script-kiddie/node_modules/ace-builds/src/ext-split.js |
@@ -0,0 +1,246 @@ |
define("ace/split",["require","exports","module","ace/lib/oop","ace/lib/lang","ace/lib/event_emitter","ace/editor","ace/virtual_renderer","ace/edit_session"], function(require, exports, module) { |
"use strict"; |
|
var oop = require("./lib/oop"); |
var lang = require("./lib/lang"); |
var EventEmitter = require("./lib/event_emitter").EventEmitter; |
|
var Editor = require("./editor").Editor; |
var Renderer = require("./virtual_renderer").VirtualRenderer; |
var EditSession = require("./edit_session").EditSession; |
|
|
var Split = function(container, theme, splits) { |
this.BELOW = 1; |
this.BESIDE = 0; |
|
this.$container = container; |
this.$theme = theme; |
this.$splits = 0; |
this.$editorCSS = ""; |
this.$editors = []; |
this.$orientation = this.BESIDE; |
|
this.setSplits(splits || 1); |
this.$cEditor = this.$editors[0]; |
|
|
this.on("focus", function(editor) { |
this.$cEditor = editor; |
}.bind(this)); |
}; |
|
(function(){ |
|
oop.implement(this, EventEmitter); |
|
this.$createEditor = function() { |
var el = document.createElement("div"); |
el.className = this.$editorCSS; |
el.style.cssText = "position: absolute; top:0px; bottom:0px"; |
this.$container.appendChild(el); |
var editor = new Editor(new Renderer(el, this.$theme)); |
|
editor.on("focus", function() { |
this._emit("focus", editor); |
}.bind(this)); |
|
this.$editors.push(editor); |
editor.setFontSize(this.$fontSize); |
return editor; |
}; |
|
this.setSplits = function(splits) { |
var editor; |
if (splits < 1) { |
throw "The number of splits have to be > 0!"; |
} |
|
if (splits == this.$splits) { |
return; |
} else if (splits > this.$splits) { |
while (this.$splits < this.$editors.length && this.$splits < splits) { |
editor = this.$editors[this.$splits]; |
this.$container.appendChild(editor.container); |
editor.setFontSize(this.$fontSize); |
this.$splits ++; |
} |
while (this.$splits < splits) { |
this.$createEditor(); |
this.$splits ++; |
} |
} else { |
while (this.$splits > splits) { |
editor = this.$editors[this.$splits - 1]; |
this.$container.removeChild(editor.container); |
this.$splits --; |
} |
} |
this.resize(); |
}; |
this.getSplits = function() { |
return this.$splits; |
}; |
this.getEditor = function(idx) { |
return this.$editors[idx]; |
}; |
this.getCurrentEditor = function() { |
return this.$cEditor; |
}; |
this.focus = function() { |
this.$cEditor.focus(); |
}; |
this.blur = function() { |
this.$cEditor.blur(); |
}; |
this.setTheme = function(theme) { |
this.$editors.forEach(function(editor) { |
editor.setTheme(theme); |
}); |
}; |
this.setKeyboardHandler = function(keybinding) { |
this.$editors.forEach(function(editor) { |
editor.setKeyboardHandler(keybinding); |
}); |
}; |
this.forEach = function(callback, scope) { |
this.$editors.forEach(callback, scope); |
}; |
|
|
this.$fontSize = ""; |
this.setFontSize = function(size) { |
this.$fontSize = size; |
this.forEach(function(editor) { |
editor.setFontSize(size); |
}); |
}; |
|
this.$cloneSession = function(session) { |
var s = new EditSession(session.getDocument(), session.getMode()); |
|
var undoManager = session.getUndoManager(); |
if (undoManager) { |
var undoManagerProxy = new UndoManagerProxy(undoManager, s); |
s.setUndoManager(undoManagerProxy); |
} |
s.$informUndoManager = lang.delayedCall(function() { s.$deltas = []; }); |
s.setTabSize(session.getTabSize()); |
s.setUseSoftTabs(session.getUseSoftTabs()); |
s.setOverwrite(session.getOverwrite()); |
s.setBreakpoints(session.getBreakpoints()); |
s.setUseWrapMode(session.getUseWrapMode()); |
s.setUseWorker(session.getUseWorker()); |
s.setWrapLimitRange(session.$wrapLimitRange.min, |
session.$wrapLimitRange.max); |
s.$foldData = session.$cloneFoldData(); |
|
return s; |
}; |
this.setSession = function(session, idx) { |
var editor; |
if (idx == null) { |
editor = this.$cEditor; |
} else { |
editor = this.$editors[idx]; |
} |
var isUsed = this.$editors.some(function(editor) { |
return editor.session === session; |
}); |
|
if (isUsed) { |
session = this.$cloneSession(session); |
} |
editor.setSession(session); |
return session; |
}; |
this.getOrientation = function() { |
return this.$orientation; |
}; |
this.setOrientation = function(orientation) { |
if (this.$orientation == orientation) { |
return; |
} |
this.$orientation = orientation; |
this.resize(); |
}; |
this.resize = function() { |
var width = this.$container.clientWidth; |
var height = this.$container.clientHeight; |
var editor; |
|
if (this.$orientation == this.BESIDE) { |
var editorWidth = width / this.$splits; |
for (var i = 0; i < this.$splits; i++) { |
editor = this.$editors[i]; |
editor.container.style.width = editorWidth + "px"; |
editor.container.style.top = "0px"; |
editor.container.style.left = i * editorWidth + "px"; |
editor.container.style.height = height + "px"; |
editor.resize(); |
} |
} else { |
var editorHeight = height / this.$splits; |
for (var i = 0; i < this.$splits; i++) { |
editor = this.$editors[i]; |
editor.container.style.width = width + "px"; |
editor.container.style.top = i * editorHeight + "px"; |
editor.container.style.left = "0px"; |
editor.container.style.height = editorHeight + "px"; |
editor.resize(); |
} |
} |
}; |
|
}).call(Split.prototype); |
|
|
function UndoManagerProxy(undoManager, session) { |
this.$u = undoManager; |
this.$doc = session; |
} |
|
(function() { |
this.execute = function(options) { |
this.$u.execute(options); |
}; |
|
this.undo = function() { |
var selectionRange = this.$u.undo(true); |
if (selectionRange) { |
this.$doc.selection.setSelectionRange(selectionRange); |
} |
}; |
|
this.redo = function() { |
var selectionRange = this.$u.redo(true); |
if (selectionRange) { |
this.$doc.selection.setSelectionRange(selectionRange); |
} |
}; |
|
this.reset = function() { |
this.$u.reset(); |
}; |
|
this.hasUndo = function() { |
return this.$u.hasUndo(); |
}; |
|
this.hasRedo = function() { |
return this.$u.hasRedo(); |
}; |
}).call(UndoManagerProxy.prototype); |
|
exports.Split = Split; |
}); |
|
define("ace/ext/split",["require","exports","module","ace/split"], function(require, exports, module) { |
"use strict"; |
module.exports = require("../split"); |
|
}); |
(function() { |
window.require(["ace/ext/split"], function() {}); |
})(); |
|