src/widgets/img/widget-control.png
author durandn
Fri, 03 Jul 2015 16:57:10 +0200
changeset 1037 5c0416e8bba1
parent 923 b3ee7d1b472a
permissions -rw-r--r--
AnnotationsList widget new features: show creation date for annotations, hide/show feature on signal trigger, filter by username
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
923
b3ee7d1b472a UI improvements
veltr
parents: 880
diff changeset
     1
(binary:image/png)