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

• DEFAULT_BORDER_WIDTH src/gui-gtk/util.h:11
• dftype_widget src/gui-gtk/gtkui.c:57
• disk_eject_widget src/gui-gtk/gtkui.c:56
• disk_insert_widget src/gui-gtk/gtkui.c:56
• disk_selector src/gui-gtk/gtkui.c:104
• disk_text_widget src/gui-gtk/gtkui.c:56
• disk_type_widget src/gui-gtk/gtkui.c:58