1.1 --- a/sandbox/attributed-index-web/ui-findType.html Mon Dec 19 11:37:36 2016 +0100
1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
1.3 @@ -1,28 +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 -</head>
1.8 -<body>
1.9 -<form method="get">
1.10 -<label for="path">Project:</label>
1.11 -<select size="1" name="path">");
1.12 - <#list paths as path>
1.13 - <option <#if selectedPath?? && path.segment == selectedPath>selected</#if> value="${path.segment}">
1.14 - ${path.displayName}
1.15 - </option>
1.16 - </#list>
1.17 -</select>
1.18 -<br>
1.19 -<label for="prefix">Type Name:</label><input type="text" name="prefix"<#if prefix??>value="${prefix}"</#if>/><br>
1.20 -<input type="submit" name="Find Candidates"/>
1.21 -</form>
1.22 -
1.23 -<#if results??>
1.24 - Found types:<br>
1.25 - <#list results as result>
1.26 - <a href="/index/ui/show?path=${selectedPath}&relative=${result.relativePath}">${result.fqn}</a><br>
1.27 - </#list>
1.28 -</#if>
1.29 -
1.30 -</body>
1.31 -</html>