2013-10-14 00:10:59 +08:00
|
|
|
<div id="table_filter_container" style="display: block;">
|
|
|
|
|
<input id="table_filter_text_box" class="filter_text_box text_box_transient" placeholder="Filter" ng-model="query">
|
|
|
|
|
</div>
|
|
|
|
|
|
2013-10-13 23:10:00 +08:00
|
|
|
<table class="data_table">
|
|
|
|
|
<tbody>
|
2013-10-14 00:10:59 +08:00
|
|
|
<tr class="data_table_row" ng-repeat="binding in bindings | filterBinding:query">
|
2013-10-22 02:12:16 +08:00
|
|
|
<td ng-class="{ data_table_cell: true, no_overflow: !binding._is_selected }" style="text-align: right; padding-right: 30px;" ng-click="binding._is_selected = !binding._is_selected">{{ binding.command }}</td>
|
2016-08-23 17:10:30 +08:00
|
|
|
<!-- Raw binding commands are shown in next line on a click -->
|
|
|
|
|
<td ng-class="{ data_table_cell: true, no_overflow: !binding._is_selected }" style="text-align: left; padding-right: 30px;" ng-click="binding._is_selected = !binding._is_selected">
|
|
|
|
|
<div ng-repeat="variety in binding.bindings">
|
|
|
|
|
{{ variety.readable_binding }}
|
|
|
|
|
<div class="raw_binding" ng-repeat="raw in variety.raw_bindings" ng-show="binding._is_selected" > {{ raw }} </div>
|
|
|
|
|
</div>
|
|
|
|
|
</td>
|
2013-10-13 23:10:00 +08:00
|
|
|
</tr>
|
|
|
|
|
</tbody>
|
|
|
|
|
</table>
|
