void org.libcsdbg.jtracer.SessionManager.setCurrent

(

int

sel

)

Definition at line 172 of file SessionManager.java.

  {
    Session cur = sessions.get(sel);
    cur.setIconified(false);
    cur.toFront();
  }