Gildas 8b9f1d198b moved files into editor/ 6 years ago
..
help.css e1ee69dfa2 fixed border styles 6 years ago
help.html bcdb70fbaf integration of the annotation editor (fixes #161) 6 years ago
options.css b504f890ad better positioning of popups (fix #277) 6 years ago
options.html bcdb70fbaf integration of the annotation editor (fixes #161) 6 years ago