1.1 --- a/sandbox/attributed-index-web/ui-apply.html Mon Dec 19 11:37:36 2016 +0100
1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
1.3 @@ -1,68 +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 - .diff-removed {color: #FF0000;}
1.23 - .diff-added {color: #00FF00;}
1.24 - .diff-index {color: #0000FF;}
1.25 - .diff-hunk {color: #FF00FF;}
1.26 - </style>
1.27 -</head>
1.28 -<body>
1.29 -<form method="get">
1.30 -
1.31 -<label for="path">Project:</label>
1.32 -<select size="1" name="path">");
1.33 - <#list paths as path>
1.34 - <option <#if selectedPath?? && path.segment == selectedPath>selected</#if> value="${path.segment}">
1.35 - ${path.displayName}
1.36 - </option>
1.37 - </#list>
1.38 -</select>
1.39 -<br>
1.40 -<label for="pattern">Pattern:</label><br>
1.41 -<textarea rows="10" cols="40" name="pattern">
1.42 -<#if pattern??>
1.43 -${pattern}
1.44 -</#if>
1.45 -</textarea><br>
1.46 -<input type="submit" name="preview" value="Show diff preview"/><input type="submit" name="download" value="Download diff"/>
1.47 -</form>
1.48 -
1.49 -<div class="examples">
1.50 -<#if examples??>
1.51 - Examples:
1.52 - <dl id="examples-list">
1.53 - <#list examples as example>
1.54 - <dt>${example.displayName}</dt>
1.55 - <dd><pre>${example.pattern}</pre>
1.56 - </dd>
1.57 - </#list>
1.58 - </dl>
1.59 -</#if>
1.60 -</div>
1.61 -
1.62 -<#if result??>
1.63 - Diff for rule: ${pattern}
1.64 -<pre>${result}</pre>
1.65 -</#if>
1.66 -
1.67 -<#if statistics??>
1.68 - Query time: ${statistics.queryTime}ms, matching files: ${statistics.files}.
1.69 -</#if>
1.70 -</body>
1.71 -</html>