switch_history_sync


Description:

public void switch_history_sync (string name) throws Error

Switch to another history

Parameters:

this

a Client instance

name

the name of the history to switch to