client/js/defaults.js
changeset 462 255b66d1ce78
parent 461 48235ed6b07d
child 468 364c367df7fc
equal deleted inserted replaced
461:48235ed6b07d 462:255b66d1ce78
    84 
    84 
    85     buttons_background: "#202020",
    85     buttons_background: "#202020",
    86     buttons_label_color: "#c000c0",
    86     buttons_label_color: "#c000c0",
    87     buttons_label_font_size: 9,
    87     buttons_label_font_size: 9,
    88 
    88 
       
    89     ghost_opacity : 0.3,
       
    90         /* opacity when the hidden element is revealed */
    89     default_dash_array : [4, 5],
    91     default_dash_array : [4, 5],
       
    92         /* dash line genometry */
    90 
    93 
    91     /* NODE DISPLAY OPTIONS */
    94     /* NODE DISPLAY OPTIONS */
    92 
    95 
    93     show_node_circles: true,
    96     show_node_circles: true,
    94         /* Show circles for nodes */
    97         /* Show circles for nodes */