node_height = function(node)
	-- we store the node's height internally, but it can be too small
	return math.max(node.h, 3*node.editor.line_height)
end