-<!DOCTYPE html>\r
-<html lang="en">\r
-<head>\r
- <meta charset="utf-8">\r
- <title>Results for query ${query}</title>\r
- <script type="text/javascript" src="${dataUrl}jquery.min.js"></script>\r
- <script type="text/javascript" src="${dataUrl}jquery.tablesorter.min.js"></script>\r
- <link rel="stylesheet" href="${dataUrl}search.css" type="text/css" media="screen, print" />\r
- <link rel="stylesheet" href="${dataUrl}blue/style.css" type="text/css" media="screen, print" />\r
-</head>\r
-\r
-<body id="index" class="home">\r
-\r
-<!-- Initialize search input with proper value -->\r
-<script type="text/javascript">\r
- function go( field ) {\r
- window.navigate(window.location.href.replace(window.location.search, "?search=" + encodeURIComponent(field.value)));\r
- }\r
-\r
- function queryString( key ) {\r
- var re = new RegExp( "[?&]" + key + "=([^&$]*)", "i" );\r
- var offset = location.search.search( re );\r
- if ( offset == -1 ) return null;\r
- return RegExp.$1;\r
- }\r
-\r
- $(document).ready(function() {\r
- $("#search").value = decodeURIComponent(queryString('search')); \r
- if (!("autofocus" in document.createElement("input"))) {\r
- $("#search").focus();\r
- }\r
- });\r
-\r
- //$(document).ready(function() { $("#results").tablesorter(); } );\r
-</script>\r
-\r
-<form>\r
- <input autofocus size="70" id="search" type="text" name="search" value="${query}" onChange="go(this)" />\r
-</form>\r
-\r
-<span class="resultCountText">\r
-<#if resultCount = maxResults>\r
-${resultCount} or more results found.\r
-<#else>\r
-<#if resultCount = 1>\r
-${resultCount} result found.\r
-<#else>\r
-${resultCount} results found.\r
-</#if>\r
-</#if>\r
-</span>\r
-\r
-<ol>\r
-<#list results as result>\r
-<li><div class="result">\r
-<a class="emph" href="resource:${result.resource.resource}" <#if result.resource.uri??>title="${result.resource.uri}"</#if>>${result.resource.name}</a>\r
-<#if result.principalTypes??>\r
-is an instance of\r
-<#list result.principalTypes as type>\r
-<a class="small" href="resource:${type.resource}" <#if type.uri??>title="${type.uri}"</#if>>${type.name}</a>\r
-</#list>\r
-and\r
-</#if>\r
-<#if result.parent??>\r
-is a part of <a class="small" href="resource:${result.parent.resource}" <#if result.parent.uri??>title="${result.parent.uri}"</#if>>${result.parent.name}</a>\r
-</#if>\r
-</div></li>\r
-</#list>\r
-</ol>\r
-\r
+<!DOCTYPE html>
+<html lang="en">
+<head>
+ <meta charset="utf-8">
+ <title>Results for query ${query}</title>
+ <script type="text/javascript" src="${dataUrl}jquery.min.js"></script>
+ <script type="text/javascript" src="${dataUrl}jquery.tablesorter.min.js"></script>
+ <link rel="stylesheet" href="${dataUrl}search.css" type="text/css" media="screen, print" />
+ <link rel="stylesheet" href="${dataUrl}blue/style.css" type="text/css" media="screen, print" />
+</head>
+
+<body id="index" class="home">
+
+<!-- Initialize search input with proper value -->
+<script type="text/javascript">
+ function go( field ) {
+ window.navigate(window.location.href.replace(window.location.search, "?search=" + encodeURIComponent(field.value)));
+ }
+
+ function queryString( key ) {
+ var re = new RegExp( "[?&]" + key + "=([^&$]*)", "i" );
+ var offset = location.search.search( re );
+ if ( offset == -1 ) return null;
+ return RegExp.$1;
+ }
+
+ $(document).ready(function() {
+ $("#search").value = decodeURIComponent(queryString('search'));
+ if (!("autofocus" in document.createElement("input"))) {
+ $("#search").focus();
+ }
+ });
+
+ //$(document).ready(function() { $("#results").tablesorter(); } );
+</script>
+
+<form>
+ <input autofocus size="70" id="search" type="text" name="search" value="${query}" onChange="go(this)" />
+</form>
+
+<span class="resultCountText">
+<#if resultCount = maxResults>
+${resultCount} or more results found.
+<#else>
+<#if resultCount = 1>
+${resultCount} result found.
+<#else>
+${resultCount} results found.
+</#if>
+</#if>
+</span>
+
+<ol>
+<#list results as result>
+<li><div class="result">
+<a class="emph" href="resource:${result.resource.resource}" <#if result.resource.uri??>title="${result.resource.uri}"</#if>>${result.resource.name}</a>
+<#if result.principalTypes??>
+is an instance of
+<#list result.principalTypes as type>
+<a class="small" href="resource:${type.resource}" <#if type.uri??>title="${type.uri}"</#if>>${type.name}</a>
+</#list>
+and
+</#if>
+<#if result.parent??>
+is a part of <a class="small" href="resource:${result.parent.resource}" <#if result.parent.uri??>title="${result.parent.uri}"</#if>>${result.parent.name}</a>
+</#if>
+</div></li>
+</#list>
+</ol>
+
</body>
\ No newline at end of file
Code Review / simantics / platform.git / blobdiff