519   GtkWidget   *glTxtTable;  in GLPrefs()  local
657   glTxtTable = gtk_table_new (5, 2, TRUE);  in GLPrefs()
660   gtk_box_pack_start (GTK_BOX (glTxtHBox), glTxtTable, FALSE, FALSE, 0);  in GLPrefs()
661   gtk_widget_show (glTxtTable);  in GLPrefs()
672   gtk_table_attach (GTK_TABLE(glTxtTable), ButtonTexture, 0, 1, 0, 1,  in GLPrefs()
685   gtk_table_attach (GTK_TABLE(glTxtTable), ButtonPrimTxt, 0, 1, 1, 2,  in GLPrefs()
701   gtk_table_attach (GTK_TABLE(glTxtTable), PrimTxtLabel, 1, 2, 1, 2,  in GLPrefs()
716   gtk_table_attach (GTK_TABLE(glTxtTable), ButtonSecTxt, 0, 1, 2, 3,  in GLPrefs()
732   gtk_table_attach (GTK_TABLE(glTxtTable), SecTxtLabel, 1, 2, 2, 3,  in GLPrefs()
749       gtk_table_attach (GTK_TABLE(glTxtTable), ButtonDiskTxt, 0, 1, 3, 4,  in GLPrefs()
765       gtk_table_attach (GTK_TABLE(glTxtTable), DiskTxtLabel, 1, 2, 3, 4,  in GLPrefs()
778   gtk_table_attach (GTK_TABLE(glTxtTable), glTypHBox, 0, 2, 4, 5,  in GLPrefs()