Next:
window_height
Up:
Windows
Previous:
lower_window
raise_window
void raise_window()
Puts the current window above all the others.
Lionel Fournigault
Fri Nov 6 17:00:30 MET 1998