/lenasys/trunk

To get this branch, use:
bzr branch http://gegoxaren.bato24.eu/bzr/lenasys/trunk

« back to all changes in this revision

Viewing changes to codehighlighterimpl/showcode.php

  • Committer: Gustav Hartvigsson
  • Date: 2013-04-04 18:24:21 UTC
  • Revision ID: gustav.hartvigsson@gmail.com-20130404182421-e8l692tsqroc1u05
Readded the file that Adam Ringhede removed.

Show diffs side-by-side

added added

removed removed

Lines of Context:
codehighlighterimpl/showcode.php
1
1
<?php
2
2
 
3
 
function showfile($filename, $lang, $interestingrows = array()) {
 
3
function showfile($filename, $lang) {
4
4
        echo "<strong>".$filename."</strong>";
5
 
        echo '<div id="ace_'.str_replace(".", "", $filename).'" class="ace">';
 
5
        echo '<div id="ace_'.str_replace(".", "", $filename).'"" class="ace">';
6
6
        $handle = @fopen($filename, "r");
7
7
        if ($handle) {
8
8
 
11
11
                        $buffer = str_replace("&", "&amp;", $buffer);
12
12
                        $buffer = str_replace("<", "&lt;", $buffer);
13
13
                        $buffer = str_replace(">", "&gt;", $buffer);
 
14
                        
14
15
 
15
16
                        echo $buffer;
16
17
                }
21
22
        }
22
23
        echo '</div>';
23
24
 
24
 
        echo  '<script type="text/javascript">
25
 
        var Range = require("ace/range").Range;
 
25
        echo  '
 
26
<script type="text/javascript">
26
27
        var editor = ace.edit("ace_'.str_replace(".", "", $filename).'");
27
 
        editor.setTheme("ace/theme/merbivore");
 
28
        editor.setTheme("ace/theme/monokai");
28
29
        editor.getSession().setMode("ace/mode/'.$lang.'");
29
30
        editor.setReadOnly(true);
30
31
        editor.setShowPrintMargin(false);
31
32
        editor.setDisplayIndentGuides(false);
32
 
        editor.setHighlightSelectedWord(true);
33
 
        lines = editor.getSession().getLength();
34
 
        $("#ace_'.str_replace(".", "", $filename).'").height(Math.min(500,lines*16));
35
 
        aceeditors.push("ace_'.str_replace(".", "", $filename).'");';
36
 
        for($i = 0; $i < count($interestingrows); $i++) {
37
 
                echo 'editor.getSession().addMarker(new Range('.$interestingrows[$i][0].', 0, '
38
 
                        .$interestingrows[$i][1].', Number.POSITIVE_INFINITY), "interesting", "text",false);';
 
33
        aceeditors.push("ace_'.str_replace(".", "", $filename).'");
 
34
        </script>
 
35
';
 
36
 
 
37
}
 
38
 
 
39
function showdoc($filename) {
 
40
 
 
41
        $handle = @fopen($filename, "r");
 
42
        if ($handle) {
 
43
 
 
44
 
 
45
                while (($buffer = fgets($handle, 4096)) !== false) {
 
46
                        echo $buffer;
 
47
                }
 
48
                if (!feof($handle)) {
 
49
                        echo "Error: unexpected fgets() fail\n";
 
50
                }
 
51
                fclose($handle);
39
52
        }
40
 
        echo '</script>';
41
 
 
42
53
}
43
54
?>
 
 
b'\\ No newline at end of file'