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);
b'\\ No newline at end of file'