How do I change the proxy settings for 4Matrix?

In the 4Matrix Network Manager click Run Wizard.

Skip through the steps until you reach the Proxy Settings - overwrite the address and port if you need to. Finish the wizard and the change will be instant, no further action is required.

If you are finding that 4Matrix is not detecting the proxy settings automatically, go back to the proxy settings (as above) and type AUTO in the address field. Leave the port field blank. Finish the wizard. Restart 4Matrix and check if this has resolved the problem.