Class DGraphView.labeled_view


class [['a, 'b, 'c]] labeled_view : GnomeCanvas.canvas Gtk.obj -> ('a, 'b, 'c) DGraphModel.abstract_model -> GMisc.label -> [['a, 'b, 'c]] view
Same widget augmented with a label displaying the current node