154     edge_label_max_length: 20,

   154     edge_label_max_length: 20,

   155     edge_arrow_length: 18,

   155     edge_arrow_length: 18,

   156     edge_arrow_width: 12,

   156     edge_arrow_width: 12,

   157     edge_arrow_max_width: 32,

   157     edge_arrow_max_width: 32,

   158     edge_gap_in_bundles: 12,

   158     edge_gap_in_bundles: 12,

   159     label_untitled_edges: "",

   160     label_untitled_edges: "",

   160 

   161 

   161     /* CONTEXTUAL DISPLAY (TOOLTIP OR EDITOR) OPTIONS */

   162     /* CONTEXTUAL DISPLAY (TOOLTIP OR EDITOR) OPTIONS */

   162 

   163 

   163     tooltip_width: 275,

   164     tooltip_width: 275,