GtkWindow::set_wmclass

void set_wmclass(string wmclass_name, string wmclass_class);

Sets the window manager name and class across an application. However, given that the window manager class is already set in precisely this way by GTK, and that there are no functions in PHP-GTK where we might need this information, this method is best left untouched.