[% UNLESS session.pid %]
  No active package.
  [% RETURN %]
[% END %]

<div>
  <div style="float:left; margin-right: 10px;">
    <span>File Browser</span>
    <div id="file-browser"> </div>
  </div>
  <div id="file-tab" style="visibility: hidden;">
    <span id="file-title">Source</span>
    <div id="file-content"></div>
  </div>
  <span style="clear: both;"></span>
</div>

<script type="text/javascript">
$(document).ready( function() {
  [% IF line %]
    window.myhl = 'highlight: [% line %];';
  [% ELSE %]
    window.myhl = '';
  [% END %]
  $('#file-browser').fileTree(
   { root: '[% session.pid %]',
     script: '/source/jqueryfiletree' },
   function(file) { showFile(file); });

  SyntaxHighlighter.defaults['toolbar'] = false;

  [% IF file %]
    showFile('[% file %]');
  [% END %]

});

function showFile(file) {
  $('#file-title').html(file);
  $('#file-content').html('<img src="/images/loader.gif">');
  $.ajax({
    url: '/r/'+file,
    success: function(data) {
         var content = '<pre class="brush: cpp;'+window.myhl+'">'+data+'</pre>';
         $('#file-content').html(content);
         SyntaxHighlighter.highlight();
      }
   });
  $('#file-tab').css('visibility','visible');
}
</script>