3
function highlight(id, word){
5
for(var x = 0; x < id.length; x++) {
6
var Search = require("ace/search").Search;
8
var editor = ace.edit(id[x]);
11
srch.set({needle:word});
13
numbers = srch.findAll(editor.getSession());
16
for(var i = 0; i < numbers.length;i++){
17
editor.getSession().addMarker(numbers[i], "highlighted", "text",false);
23
function highlightrows(id, from, to){
25
for(var x = 0; x < id.length; x++) {
26
var Range = require("ace/range").Range;
28
var editor = ace.edit(id[x]);
30
editor.getSession().addMarker(new Range(from, 0, to, Number.POSITIVE_INFINITY), "highlighted", "text",false);
34
function clearHighlights(){
35
for(var i = 0; i < aceeditors.length; i++){
36
var editor = ace.edit(aceeditors[i]);
37
markers = editor.getSession().getMarkers(false);
39
$.each(markers, function(index, value){
40
if(value.clazz == "highlighted") {
41
editor.getSession().removeMarker(index);
50
$('#dropdown').show();
53
$('#dropdown').hide();
59
$('section.group div.heading').bind('click', function (e) {
60
var heading1 = $(this);
61
if (heading1.hasClass('open')) {
62
heading1.removeClass('open').next().animate({
70
if (heading1.parent().parent().hasClass('content')) {
71
heading1.parent().parent().css({
78
heading1.next().children().each(function () {
79
innerHeight += this.offsetHeight;
81
heading1.addClass('open').next().animate({
84
if (heading1.parent().parent().hasClass('content')) {
85
heading1.parent().parent().css({
90
//heading1.parent().siblings().each(function(){
91
// $(this).find('div.heading1.open').removeClass('open').next().animate({height:0},200)
b'\\ No newline at end of file'