equal
deleted
inserted
replaced
90 /* Vertical distance between node and label */ |
90 /* Vertical distance between node and label */ |
91 node_label_max_length: 60, |
91 node_label_max_length: 60, |
92 /* Maximum displayed text length */ |
92 /* Maximum displayed text length */ |
93 label_untitled_nodes: "(untitled)", |
93 label_untitled_nodes: "(untitled)", |
94 /* Label to display on untitled nodes */ |
94 /* Label to display on untitled nodes */ |
|
95 change_shapes: true, |
|
96 /* Change shapes enabled */ |
95 |
97 |
96 /* EDGE DISPLAY OPTIONS */ |
98 /* EDGE DISPLAY OPTIONS */ |
97 |
99 |
98 edge_stroke_width: 2, |
100 edge_stroke_width: 2, |
99 selected_edge_stroke_width: 4, |
101 selected_edge_stroke_width: 4, |