Control.margin (gb.gtk)?
This symbol does not exist.