Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- hover = HoverTool(
- tooltips="""
- <div>
- <div>
- <span style="font-size: 10px;">@names</span><br />
- <span style="font-size: 10px;">@dates</span><br />
- <span style="font-size: 10px; color: #696;">@x, @y</span>
- </div>
- </div>
- """,
- point_policy='snap_to_data'
- )
- TOOLS = ["resize, crosshair, pan, wheel_zoom, box_zoom, reset", hover]
- # Initialize the graph
- p = figure(tools=TOOLS, webgl=True, x_range=(-bound, bound), y_range=(0, bound), lod_timeout=1000, lod_factor = 10, lod_interval = 300, lod_threshold=10)
Add Comment
Please, Sign In to add comment