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
Mon Dec 15 10:53:26 MET 1997