| 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 */