/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: galaxyAbstractor
  • Date: 2013-04-04 16:32:06 UTC
  • mfrom: (15.1.1 lenasys)
  • mto: This revision was merged to the branch mainline in revision 17.
  • Revision ID: galaxyabstractor@gmail.com-20130404163206-eu8zmd4upspsmowu
Victors stuff

Show diffs side-by-side

added added

removed removed

Lines of Context:
codehighlighterimpl/showcode.php
 
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'