zoom_to_view(elements=null) {
        if (!elements)
            elements = this.graph.nodes().map(x => this.graph.node(x));
        
        let bb = boundingBox(elements);
        this.canvas_manager.set_view(bb);

        this.draw_async();
    }
// (or entire graph if null) is in view
(or entire graph if null) is in view
( or entire graph if null ) is in view
zoom_to_view(elements=null) {
        if (!elements)
            elements = this.graph.nodes().map(x => this.graph.node(x));
        let bb = boundingBox(elements);
        this.canvas_manager.set_view(bb);
        this.draw_async();
    }
zoom_to_view ( elements = null ) { if ( ! elements ) elements = this . graph . nodes ( ) . map ( x => this . graph . node ( x ) ) ; let bb = boundingBox ( elements ) ; this . canvas_manager . set_view ( bb ) ; this . draw_async ( ) ; }
(or entire graph if null) is in view
( or entire graph if null ) is in view