/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 at gmail
  • Date: 2013-04-02 12:13:01 UTC
  • mfrom: (4.2.7 hitlerhorabajs)
  • Revision ID: gustav.hartvigsson@gmail.com-20130402121301-ytfzuo7y6cku9s3o
Merge from implemenation group 2:s branch.

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
<?php
2
 
 
3
 
function showfile($filename, $lang) {
4
 
        echo "<strong>".$filename."</strong>";
5
 
        echo '<div id="ace_'.str_replace(".", "", $filename).'"" class="ace">';
6
 
        $handle = @fopen($filename, "r");
7
 
        if ($handle) {
8
 
 
9
 
                while (($buffer = fgets($handle, 4096)) !== false) {
10
 
 
11
 
                        $buffer = str_replace("&", "&amp;", $buffer);
12
 
                        $buffer = str_replace("<", "&lt;", $buffer);
13
 
                        $buffer = str_replace(">", "&gt;", $buffer);
14
 
                        
15
 
 
16
 
                        echo $buffer;
17
 
                }
18
 
                if (!feof($handle)) {
19
 
                        echo "Error: unexpected fgets() fail\n";
20
 
                }
21
 
                fclose($handle);
22
 
        }
23
 
        echo '</div>';
24
 
 
25
 
        echo  '
26
 
<script type="text/javascript">
27
 
        var editor = ace.edit("ace_'.str_replace(".", "", $filename).'");
28
 
        editor.setTheme("ace/theme/monokai");
29
 
        editor.getSession().setMode("ace/mode/'.$lang.'");
30
 
        editor.setReadOnly(true);
31
 
        editor.setShowPrintMargin(false);
32
 
        editor.setDisplayIndentGuides(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);
52
 
        }
53
 
}
54
 
?>
 
 
b'\\ No newline at end of file'