src/js/widgets/annotationsWidget.js
changeset 871 a5607fa1ef0b
parent 842 4ae2247a59f4
equal deleted inserted replaced
869:faae5df935de 871:a5607fa1ef0b