Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Benoit Barbot
GraphEditor
Commits
ee7defb6
Commit
ee7defb6
authored
Oct 08, 2018
by
Benoit Barbot
Browse files
fix
parent
dc4f3613
Changes
1
Hide whitespace changes
Inline
Side-by-side
editor/graphDrawing.ml
View file @
ee7defb6
...
...
@@ -202,9 +202,9 @@ module GraphEditor (G: GRAPH ) = struct
Buffer
.
add_char
buff
(
b64_of_ui
node_type
);
let
f1
,
f2
=
DrawingGeom
.
center_shapes
(
G
.
shapes_of_node
graph
node
)
in
buff_float
buff
f1
;
buff_float
buff
f2
(*
;
buff_float
buff
f2
;
let
attr
=
snd
@@
G
.
get_node_attribute
graph
node
in
List.iter (write_attribute buff) attr
*)
List
.
iter
(
write_attribute
buff
)
attr
);
G
.
iter_arc
graph
(
fun
arc
->
let
n1
,
n2
=
G
.
nodes_of_arc
graph
arc
in
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment