src/widgets/Highlighter.css
author durandn
Mon, 21 Sep 2015 18:24:32 +0200
changeset 1059 8158421193e3
parent 1033 c20df1c080e6
permissions -rw-r--r--
Fixed user filter on AnnotationList to not display username in the dropdown but what is displayed in the list + Added project_id to api templates for delete in case the target API understands it

.currentAnnotation  {
    border: solid 3px red;
}