webmcp

diff doc/autodoc-header.htmlpart @ 381:46ff54bbd10e
Anchor (URI fragment) support for autodoc system
author: jbe
date: Mon Nov 16 16:55:49 2015 +0100 (2015-11-16)
parents: 35d1b6485145
children: cd9329b3bd78
     1.1 --- a/doc/autodoc-header.htmlpart	Mon Nov 16 01:33:02 2015 +0100
     1.2 +++ b/doc/autodoc-header.htmlpart	Mon Nov 16 16:55:49 2015 +0100
     1.3 @@ -1,5 +1,14 @@
     1.4  <html>
     1.5    <head>
     1.6 +    <script type="text/javascript">
     1.7 +      window.onload = function() {
     1.8 +        if (window.location.hash) {
     1.9 +          var encoded_hash = window.location.hash.replace(/^#/, '').replace(/_/g, '_USC_').replace(/\./g, '_DOT_').replace(/:/g, '_COL_');
    1.10 +          var element = document.getElementById('autodoc_details_' + encoded_hash);
    1.11 +          if (element) element.style.display = '';
    1.12 +        }
    1.13 +      }
    1.14 +    </script>
    1.15      <style>
    1.16        body {
    1.17          font-family: "Liberation Sans", sans-serif;