The user_settings.ini file is a root configuration file which stores personal preferences of the user (SA and OC) like the available (un)docked windows, GUI colors etc.

  • No labels

Disclaimer