public void set_icon_name (string? name)
Sets the icon for the window from a named themed icon.
See the docs for IconTheme for more details. On some platforms, the window icon is not used at all.
Note that this has nothing to do with the WM_ICON_NAME property which is mentioned in the ICCCM.
the name of the themed icon