Page tree

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

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.

WORK IN PROGRESS

Operator Client: clientConfig.xml - Changes since 2017.02

Work in progress