next up previous contents index
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