1
<?php include 'showcode.php'; ?>
4
<script src="../js/ace/ace.js" type="text/javascript" charset="utf-8"></script>
5
<script src="../js/jquery-1.8.0.min.js" type="text/javascript" charset="utf-8"></script>
6
<script type="text/javascript">
9
<style type="text/css" media="screen">
19
background-color: #eee;
35
/* column container */
37
position:relative; /* This fixes the IE7 overflow hidden bug */
40
width:100%; /* width of whole page */
41
overflow:hidden; /* This chops off any overhanging divs */
44
/* 2 Column (left menu) settings */
46
background:#fff; /* right column background colour */
49
right:60%; /* right column width */
50
background:#f4f4f4; /* left column background colour */
53
width:60%; /* right column content width */
54
left:100%; /* 100% plus left column left padding */
57
width:31%; /* left column content width (column width minus left and right padding) */
58
left:4%; /* (right column left and right padding) plus (left column left padding) */
66
background-color: #ff00ff;
79
<div class="colmask leftmenu">
82
<?php showfile("showcode.php", "php");?>
83
<?php showfile("index.php", "html");?>
89
showdoc("DomExample1.htm");
99
<script type="text/javascript">
101
function highlight(id, word){
103
for(var x = 0; x < id.length; x++) {
104
var Range = require("ace/range").Range;
105
var Search = require("ace/search").Search;
107
var editor = ace.edit(id[x]);
110
srch.set({needle:word});
112
numbers = srch.findAll(editor.getSession());
115
for(var i = 0; i < numbers.length;i++){
116
editor.getSession().addMarker(numbers[i], "highlighted", "text",false);
121
function clearHighlights(){
122
for(var i = 0; i < aceeditors.length; i++){
123
var editor = ace.edit(aceeditors[i]);
124
markers = editor.getSession().getMarkers(false);
126
$.each(markers, function(index, value){
127
editor.getSession().removeMarker(index);
b'\\ No newline at end of file'