Control.padding (gb.gtk)?
Dieses Symbol existiert nicht.