set_window_title

Declaration

set_window_title (win: WINDOW; value: STRING)

Description

Sets the title of win to value. This title is shown in the title bar of the window and in the window menu to identify the window.

The title of a window is same as its name when initially created with make_window.

See Also

make_window
window_title
window and frame functions
Window_Manager

Example

script switch_windows is
  if window_title ('main') = 'main' then
    -- window title is still default
    set_window_title ('main', 'home page')
  end
end