Gildas 76388717ac added "+" in the list of replaced characters 6 سال پیش
..
help.css 85ac3cfa84 fixed border styles 6 سال پیش
help.html 76388717ac added "+" in the list of replaced characters 6 سال پیش
options.css 6896e5b2b0 better positioning of popups (fix #277) 6 سال پیش
options.html 5909443455 integration of the annotation editor (fixes #161) 6 سال پیش