If you use a window manager that displays window titles, you probably
would like to be able to give the window a title. In ProXL, this is done
with the property/2
window attribute.
| ?- win(Window), put_window_attributes(Window, [property('WM_NAME', hello)]). Window = window(2376568)
This puts the string hello
as the value of the WM_NAME
property of our window. This property is watched by window managers
that display window titles, and when it changes, the window manager
updates the title. There are many other properties that are significant
to window managers, all discussed in pxl-win-wmi.
Some window managers do not display window titles, for example, uwm
.
If your window is like this, don't worry, the properties will not do any harm.
And setting this property will make your programs friendlier for
users with other window managers.