graph drawing tool

bugfix: node height computation

Before this commit, zooming in was growing node height relative to width, while zooming out was shrinking node height.

I don't quite completely understand why that was happening, or why this seems to work better. node_height before was comparing two values, node.h and 3*line_height. line_height was scaled based on Viewport.zoom. node.h was computed based on box_height which was unscaled. So far, so good. But scaling box_height doesn't fix anything.

Created by  akkartik  on July 10, 2024
CXCXTS5VUXQIAA5EEL7ZVFC5NFWKHBCBNBQQOBPAEH6KWBNIXYDQC
In channels
main
Change contents