addPlayerTab     1034 gui/gtk/gtk.cpp     void addPlayerTab();
addPlayerTab     1258 gui/gtk/gtk.cpp     addPlayerTab();