Specifying a Title for the Window

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.