lkrsnik/STARK-web
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Updated visualization of results and examples.

Browse Source
This commit is contained in:
lkrsnik
2025-01-11 13:13:12 +01:00
parent e6b57ce789
commit d31d41beef
7 changed files with 166 additions and 113 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
templates/result.html
View File

@@ -26,6 +26,7 @@
</div>
</div>
<div class="visualization-table">
<button class="close-visualization btn-flat grey-text text-darken-1" style="float: right; margin: 10px;">{{ _('Close') }}</button>
<table style="border: none;">
<thead>
<tr>
@@ -41,8 +42,8 @@
<table style="border: none;">
<tbody>
<tr >
<td width="50%"><div class="grew-link"></div></td>
<td style="border-left: none;"><div class="other-examples"></div></td>
<td width="50%"><div class="other-examples"></div></td>
<td style="border-left: none;"><div class="grew-link"></div></td>
</tr>
</tbody>
</table>
@@ -61,7 +62,7 @@
</thead>
<tbody>
{% for i in range(content['Tree']|length) %}
<tr data-other-examples-text="{{_('Other examples')}}" data-grew-link-text="{{_('GREW link')}}" data-exid="{{content['example_id'][i]}}" data-expositions="{{content['example_positions'][i]}}" data-subtree-hash="{{content['subtree_hash'][i]}}" class="tr-link" data-toggle="tooltip" title="See an example" data-href={% if 'Grew-match URL' in content %}{{ content['Grew-match URL'][i] }}{% else %}unknown{% endif %}>
<tr data-other-examples-text="{{_('See all other examples')}}" data-grew-link-text="{{_('See examples in Grew-match')}}" data-exid="{{content['example_id'][i]}}" data-expositions="{{content['example_positions'][i]}}" data-subtree-hash="{{content['subtree_hash'][i]}}" class="tr-link" data-toggle="tooltip" title="See an example" data-href={% if 'Grew-match URL' in content %}{{ content['Grew-match URL'][i] }}{% else %}unknown{% endif %}>
{% for col in content %}
{% if not (col == 'Grew-match URL' or col == 'example_id' or col == 'example_positions' or col == 'subtree_hash') %}
<td>{{ content[col][i] }}</td>