| 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 Sep 2015 15:58:21 +0200 | rougeronj | close the edge popup editor as soon as the edge get hidden again | file | diff | annotate |
| Thu, 04 Jun 2015 13:44:55 +0200 | ymh | remove magical constant, put ghost opacity in the defaults. | file | diff | annotate |