client/js/defaults.js
changeset 462 255b66d1ce78
parent 461 48235ed6b07d
child 468 364c367df7fc
--- a/client/js/defaults.js	Thu Jun 04 10:04:01 2015 +0200
+++ b/client/js/defaults.js	Thu Jun 04 13:44:55 2015 +0200
@@ -86,7 +86,10 @@
     buttons_label_color: "#c000c0",
     buttons_label_font_size: 9,
 
+    ghost_opacity : 0.3,
+        /* opacity when the hidden element is revealed */
     default_dash_array : [4, 5],
+        /* dash line genometry */
 
     /* NODE DISPLAY OPTIONS */