annotation_dashboard/commit
FIXED: html:input element should be empty
author | Jacco van Ossenbruggen |
---|---|
Sun Sep 21 15:35:40 2014 +0200 | |
committer | Jacco van Ossenbruggen |
Sun Sep 21 15:35:40 2014 +0200 | |
commit | ed4272a6b46a674290b724ffe81ed05f084d0a94 |
tree | 7be24cf43b3988e6ee2ddadd552d3ad152caa6b5 |
parent | 7e18910829cfbf47cf597711461e0087972c2a09 |
Diff style: patch stat
diff --git a/components/dashboard/show_annotations.pl b/components/dashboard/show_annotations.pl index bc26269..1d91aa7 100644 --- a/components/dashboard/show_annotations.pl +++ b/components/dashboard/show_annotations.pl @@ -70,11 +70,9 @@ judge_button(Type, Annotation, Field, Judgements) --> annotation(Annotation), type(radio), title(Type), 'data-toggle'(tooltip) - ], - [ - \button_glyph(Type) - ]) - ]) + ],[]), + \button_glyph(Type) + ]) ]). current_judgment(Type, A, Jlist, J, checked) :-