void goto_slot (short) change the slot that the user wants to look at
change the slot that the user wants to look at.
this page has been generated automatically by doc++
(c)opyright by Malte Zöckler, Roland Wunderling
contact: doc++@zib.de