All symbols starting with `a' in src/gui-gtk

• add_box_padding src/gui-gtk/util.c:43
• add_table_padding src/gui-gtk/util.c:56
• add_to_table src/gui-gtk/util.c:73
• afscr_widget src/gui-gtk/gtkui.c:73