Defines in src/gui-gtk

• DEFAULT_BORDER_WIDTH src/gui-gtk/util.h:11
• GTKUTIL_ROW_END src/gui-gtk/util.h:18
• GTKUTIL_TABLE_END src/gui-gtk/util.h:17
• PANEL_BORDER_WIDTH src/gui-gtk/util.h:12
• TABLE_BORDER_WIDTH src/gui-gtk/util.h:13
• TABLE_COL_SPACING src/gui-gtk/util.h:14
• TABLE_ROW_SPACING src/gui-gtk/util.h:15