client/img/show.png
author rougeronj
Fri, 18 Sep 2015 15:58:21 +0200
changeset 532 030f2e4c0664
parent 454 03e8815a012d
permissions -rw-r--r--
close the edge popup editor as soon as the edge get hidden again

(binary:image/png)