public void set_icon_name (string? name)

Windows may have a name used while minimized, distinct from the name they display in their titlebar.

Most of the time this is a bad idea from a user interface standpoint. But you can set such a name with this function, if you like.

After calling this with a non-null name, calls to set_title will not update the icon title.

Using null for name unsets the icon title; further calls to set_title will again update the icon title as well.

Note that some platforms don't support window icons.



a toplevel Window


name of window while iconified (minimized)