set_user_agent

Description:

[ Version ( since = "0.12.16" ) ]
public void set_user_agent (string user_agent)

Sets the User-Agent header used communicating with the server.

this	a NetworkTileSource
user_agent	A User-Agent string