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.
