sandbox/old-modules/server/web.api/src/org/netbeans/modules/jackpot30/server/webapi/ui-search.html
1.1 --- a/sandbox/old-modules/server/web.api/src/org/netbeans/modules/jackpot30/server/webapi/ui-search.html Mon Dec 19 11:37:36 2016 +0100
1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
1.3 @@ -1,70 +0,0 @@
1.4 -<html>
1.5 -<head>
1.6 - <script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.4/jquery.min.js"></script>
1.7 -<#if results??>
1.8 - <script type="text/javascript">
1.9 - $(document).ready(function() {
1.10 - $('#list').find('dd').hide().end().find('dt').click(function() {
1.11 - current_dd=$(this).next();
1.12 - //XXX: will do the AJAX call for both show and hide!
1.13 - $.get("snippet?path=${selectedPath}&relative=" + current_dd.attr("id") + "&pattern=${patternEscaped}",function(data) {
1.14 - current_dd.html(data).slideToggle();
1.15 - })
1.16 - });
1.17 - });
1.18 - </script>
1.19 -</#if>
1.20 - <style type="text/css">
1.21 - .occurrence {BACKGROUND: #DDDD00;}
1.22 - </style>
1.23 -</head>
1.24 -<body>
1.25 -<form method="get">
1.26 -
1.27 -<label for="path">Project:</label>
1.28 -<select size="1" name="path">");
1.29 - <#list paths as path>
1.30 - <option <#if selectedPath?? && path.segment == selectedPath>selected</#if> value="${path.segment}">
1.31 - ${path.displayName}
1.32 - </option>
1.33 - </#list>
1.34 -</select>
1.35 -<br>
1.36 -<label for="pattern">Pattern:</label><br>
1.37 -<textarea rows="10" cols="40" name="pattern">
1.38 -<#if pattern??>
1.39 -${pattern}
1.40 -</#if>
1.41 -</textarea><br>
1.42 -<input type="submit" name="Find Candidates"/>
1.43 -</form>
1.44 -
1.45 -<div class="examples">
1.46 -<#if examples??>
1.47 - Examples:
1.48 - <dl id="examples-list">
1.49 - <#list examples as example>
1.50 - <dt>${example.displayName}</dt>
1.51 - <dd><pre>${example.pattern}</pre>
1.52 - </dd>
1.53 - </#list>
1.54 - </dl>
1.55 -</#if>
1.56 -</div>
1.57 -
1.58 -<#if results??>
1.59 - Found candidates for pattern: ${pattern}
1.60 - <dl id="list">
1.61 - <#list results as result>
1.62 - <dt>${result.relativePath}<a href="/index/ui/show?path=${selectedPath}&relative=${result.relativePath}&pattern=${patternEscaped}">show</a></dt>
1.63 - <dd id="${result.relativePath}">
1.64 - </dd>
1.65 - </#list>
1.66 - </dl>
1.67 -</#if>
1.68 -
1.69 -<#if statistics??>
1.70 - Query time: ${statistics.queryTime}ms, matching files: ${statistics.files}.
1.71 -</#if>
1.72 -</body>
1.73 -</html>