Control.margin (gb.gtk)?

Dieses Symbol existiert nicht.