Module Dgraph_helper

module Dgraph_helper: sig .. end
Create a new window displaying a graph.
Consult the Plugin Development Guide for additional details.

val graph_window : parent:GWindow.window ->
title:string ->
(packing:(GObj.widget -> unit) -> unit -> < adapt_zoom : unit -> unit; .. >) ->
unit
val graph_window_through_dot : parent:GWindow.window -> title:string -> (Format.formatter -> unit) -> unit
Create a new window displaying a graph, by printing dot commands.