diff options
| author | Florian Pritz <bluewind@xssn.at> | 2010-07-17 00:21:19 +0200 |
|---|---|---|
| committer | Florian Pritz <bluewind@xssn.at> | 2010-07-17 00:21:19 +0200 |
| commit | 170806775235beb2fd3ace4ca2d673b200c591d7 (patch) | |
| tree | ed944bef5f87474fa65b3925b7fb25303f30a52f /system/application/views/file/html_header.php | |
| parent | f5f82fc1b0ae425240d46b101d45af91f322decf (diff) | |
add the currently used highlighting lang to the page
Signed-off-by: Florian Pritz <bluewind@xssn.at>
Diffstat (limited to 'system/application/views/file/html_header.php')
| -rw-r--r-- | system/application/views/file/html_header.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/system/application/views/file/html_header.php b/system/application/views/file/html_header.php index dfa08ad46..fcb89d76d 100644 --- a/system/application/views/file/html_header.php +++ b/system/application/views/file/html_header.php @@ -7,7 +7,8 @@ <body> <div class="top_bar"> <a class="raw_link no" href="<?php echo $raw_link; ?>">Raw</a> | - <a class="raw_link no" href="<?php echo $plain_link; ?>">Plain</a> + <a class="raw_link no" href="<?php echo $plain_link; ?>">Plain</a> | + Currently: <?php echo $current_highlight; ?> <div style="float:right;"> <a class="raw_link no" href="<?php echo $auto_link; ?>">Code</a> | <a class="raw_link no" href="<?php echo $rmd_link; ?>">Render Markdown</a> |