Control.margin (gb.gtk)?

Este símbolo não existe.