| Mon, 11 Mar 2019 18:06:33 +0100 | ymh | Upgrade version for screenfull.js to correct problem of fullscreen button on chrome. increment version number | file | diff | annotate |
| Wed, 27 Jul 2016 13:55:18 +0200 | ymh | allow to highlight edges. Add a url selector for edge + seach edges in edge box. remove max width of title | file | diff | annotate |
| Fri, 18 Mar 2016 14:15:23 +0100 | ymh | small documentation improvements | file | diff | annotate |