window_title

Declaration

window_title (win: WINDOW): STRING

Description

Returns the title of win. 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
set_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