set_session_option


Description:


public void set_session_option (Session session)

Set various properties on session, according to the commandline arguments given to get_option_group option group.

Parameters:

session

a Session to set option upon


Namespace: Spice