Class DGraphView.highlight_focus_view


class [['a, 'b, 'c]] highlight_focus_view : GnomeCanvas.canvas Gtk.obj -> ('a, 'b, 'c) DGraphModel.abstract_model -> [['a, 'b, 'c]] view
Same widget augmented with highlighting and focus Hover to highlight, double click to focus