@defmethod InferiorThread switch
This changes @value{GDBN}'s currently selected thread to the one represented
by this object.
@defmethod InferiorThread switch
This changes @value{GDBN}'s currently selected thread to the one represented
by this object.