Consider
// TODO only applied to outside labels?
spacing.labelNode: 30
nodeLabels.padding: "[top=10.0,left=10.0,bottom=10.0,right=10.0]"
node n3 {
nodeLabels.placement: "H_CENTER V_TOP INSIDE"
label "label1"
label "label2"
}
node n4 {
nodeLabels.placement: "H_CENTER V_TOP OUTSIDE"
label "label1"
label "label2"
}
which yields

The labelNode is only applied to the OUTSIDE labels, while padding is used on the inside. @le-cds is it possible that labelNode is partly deprecated in this case after your node label placement changes?
Maybe it's reasonable to replace the labelNode by a new margins property for the outside?
Consider
which yields

The
labelNodeis only applied to theOUTSIDElabels, whilepaddingis used on the inside. @le-cds is it possible thatlabelNodeis partly deprecated in this case after your node label placement changes?Maybe it's reasonable to replace the
labelNodeby a newmarginsproperty for the outside?