client/img/refresh.png
author rougeronj
Fri, 18 Sep 2015 15:58:21 +0200
changeset 532 030f2e4c0664
parent 42 48d825187d67
permissions -rw-r--r--
close the edge popup editor as soon as the edge get hidden again
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
42
48d825187d67 Added Refresh button and Autorefresh
veltr
parents:
diff changeset
     1
(binary:image/png)