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.
忘却曲線を使ってこの知識を確実に記憶に残す
