<%
# Turbolinks does not consider relative urls similar, resulting in page # reloads and losing the context of the panel. Emptying the rel_prefix makes # asset paths absolute. This breaks opening the docs locally. Maybe all # generated docs should be in the same folder? rel_prefix = ''
%> <link rel=“stylesheet” href=“<%= ”#{rel_prefix}/css/reset.css“ %>” type=“text/css” media=“screen” data-turbolinks-track=“reload” /> <link rel=“stylesheet” href=“<%= ”#{rel_prefix}/css/panel.css“ %>” type=“text/css” media=“screen” data-turbolinks-track=“reload” /> <link rel=“stylesheet” href=“<%= ”#{rel_prefix}/css/main.css“ %>” type=“text/css” media=“screen” data-turbolinks-track=“reload” /> <link rel=“stylesheet” href=“<%= ”#{rel_prefix}/css/github.css“ %>” type=“text/css” media=“screen” data-turbolinks-track=“reload” /> <script src=“<%= ”#{rel_prefix}/js/jquery-3.5.1.min.js“ %>” type=“text/javascript” charset=“utf-8” data-turbolinks-track=“reload”></script> <script src=“<%= ”#{rel_prefix}/js/main.js“ %>” type=“text/javascript” charset=“utf-8” data-turbolinks-track=“reload”></script> <script src=“<%= ”#{rel_prefix}/js/highlight.pack.js“ %>” type=“text/javascript” charset=“utf-8” data-turbolinks-track=“reload”></script> <script src=“<%= rel_prefix %>/js/turbolinks.js” type=“text/javascript” charset=“utf-8” data-turbolinks-track=“reload”></script> <script src=“<%= rel_prefix %>/js/search_index.js” type=“text/javascript” charset=“utf-8” data-turbolinks-track=“reload”></script> <script src=“<%= rel_prefix %>/js/searcher.js” type=“text/javascript” charset=“utf-8” data-turbolinks-track=“reload”></script> <script src=“<%= rel_prefix %>/panel/tree.js” type=“text/javascript” charset=“utf-8” data-turbolinks-track=“reload”></script> <script src=“<%= rel_prefix %>/js/searchdoc.js” type=“text/javascript” charset=“utf-8” data-turbolinks-track=“reload”></script> <script type=“text/javascript” charset=“utf-8”> document.addEventListener(“turbolinks:load”, function() {
// Only initialize panel if not yet initialized if(!$('#panel .tree ul li').length) { $('#links').hide(); var panel = new Searchdoc.Panel($('#panel'), search_data, tree, '<%= rel_prefix %>/'); $('#search').focus(); var s = window.location.search.match(/\?q=([^&]+)/); if (s) { s = decodeURIComponent(s[1]).replace(/\+/g, ' '); if (s.length > 0) { $('#search').val(s); panel.search(s, true); } } panel.toggle(<%= tree_keys %>); }
}) </script>